Publication schedule
-
№1 March 2025
-
№2 June 2025
-
№3 September 2025
-
№4 December 2025
Latest issues
- 2024, Volume 17 Issue 4 Full text
- 2024, Volume 17 Issue 3 Full text
- 2024, Volume 17 Issue 2 Full text
- 2024, Volume 17 Issue 1 Full text
Articles from section "Conference "Technologies Microsoft in the theory and programming practice""
Static approach for debugging of test scenarious generated with usage of heuristics.
- Year: 2012
- Issue: 4
- 0
- 6418
- Pages: 114-119
Methodic of WINDOWS PHONE 7 mobile applications development
- Year: 2012
- Issue: 4
- 0
- 6375
- Pages: 102-105
Automation of test environment configuring for telecom projects
- Year: 2011
- Issue: 4
- 0
- 6320
- Pages: 149-152
Cloud service architecture for scientific and engineering computing in distributed environment
- Year: 2011
- Issue: 4
- 0
- 6343
- Pages: 146-149
Heuristic network intrusion detection system prototype based on principal component analysis
- Year: 2010
- Issue: 4
- 0
- 6298
- Pages: 200-204
Java-applications debugging technique on basis of playback application’s execution trace
- Year: 2010
- Issue: 4
- 0
- 6345
- Pages: 195-199
Generation of formal model of a sysmem from requirements specified in Use Case Map
- Year: 2010
- Issue: 4
- 1
- 6157
- Pages: 191-195
Integrated environment for testing automation based on Eclipse platform
- Year: 2010
- Issue: 4
- 0
- 6190
- Pages: 186-191
Testing automation of projects in telecommunication domain
- Year: 2010
- Issue: 4
- 0
- 6251
- Pages: 180-185
Development and practical application of ASPECT.NET system targeted at academic .NET framework
- Year: 2010
- Issue: 4
- 0
- 6073
- Pages: 174-179
Applying the method of heuristics for the optimal set of test scenarios generation
- Year: 2010
- Issue: 4
- 0
- 6138
- Pages: 169-174
Development and realization of C# compiler front end using Microsoft Phoenix
- Year: 2010
- Issue: 4
- 0
- 6097
- Pages: 164-169
Development of track and nanofiltering membranes parameter determination system software
- Year: 2009
- Issue: 3
- 0
- 5905
- Pages: 250-255
Automation of formalization of requirement to program projects
- Year: 2009
- Issue: 3
- 0
- 6126
- Pages: 236-241
Implementation and practical usage of an aspect-oriented programming tool for Microsoft.Net
- Year: 2009
- Issue: 3
- 0
- 6214
- Pages: 225-232
Industrial testing techniques of the libraries of numerical methods
- Year: 2009
- Issue: 3
- 0
- 6021
- Pages: 216-220
Industrial testing technique of the libraries of numerical methods
- Year: 2009
- Issue: 3
- 0
- 6327
- Pages: 212-216
Approach to concurrent systems testing based on UCM specification
- Year: 2014
- Issue: 3
- 287
- 6579
- Pages: 85-91
Restrictions on concurrent construction and time delays of UCM language
- Year: 2013
- Issue: 3
- 534
- 7239
- Pages: 148-153
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 0
- 6200
- Pages: 180-184
Interactive visualization of enterprise it infrastructure graph
- Year: 2011
- Issue: 3
- 0
- 6214
- Pages: 172-175
Using methods of aspect-oriented programming for software development
- Year: 2011
- Issue: 3
- 0
- 6507
- Pages: 166-171