Publication schedule
- №3 September 2026Submission deadline: 31 July 2026
- №4 December 2026
- №1 March 2027
- №2 June 2027
Latest issues
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
- 1
- 8930
- Pages: 114-119
Automation of test environment configuring for telecom projects
- Year: 2011
- Issue: 4
- 0
- 8872
- Pages: 149-152
Generation of formal model of a sysmem from requirements specified in Use Case Map
- Year: 2010
- Issue: 4
- 1
- 8693
- Pages: 191-195
Integrated environment for testing automation based on Eclipse platform
- Year: 2010
- Issue: 4
- 0
- 8895
- Pages: 186-191
Applying the method of heuristics for the optimal set of test scenarios generation
- Year: 2010
- Issue: 4
- 0
- 8629
- Pages: 169-174
Development and realization of C# compiler front end using Microsoft Phoenix
- Year: 2010
- Issue: 4
- 0
- 8541
- Pages: 164-169
Automation of formalization of requirement to program projects
- Year: 2009
- Issue: 3
- 0
- 8526
- Pages: 236-241
Industrial testing techniques of the libraries of numerical methods
- Year: 2009
- Issue: 3
- 0
- 8313
- Pages: 216-220
Industrial testing technique of the libraries of numerical methods
- Year: 2009
- Issue: 3
- 0
- 8721
- Pages: 212-216
Approach to concurrent systems testing based on UCM specification
- Year: 2014
- Issue: 3
- 289
- 9280
- Pages: 85-91
Restrictions on concurrent construction and time delays of UCM language
- Year: 2013
- Issue: 3
- 535
- 9860
- Pages: 148-153
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 1
- 8586
- Pages: 180-184
Interactive visualization of enterprise it infrastructure graph
- Year: 2011
- Issue: 3
- 0
- 8666
- Pages: 172-175
Using methods of aspect-oriented programming for software development
- Year: 2011
- Issue: 3
- 0
- 9045
- Pages: 166-171

