| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An approach to the development of debuggers that use semantics of constructs of parallel programs
|
Kalinov, A. Ya.
|
|
2005
|
31 |
1 |
p. 20-28
|
article
|
| 2 |
An approach to the development of debuggers that use semantics of constructs of parallel programs
|
Kalinov, A. Ya.
|
|
2005
|
31 |
1 |
p. 20-28
|
article
|
| 3 |
A UML-based modeling of web application controller
|
Gorshkova, E. A.
|
|
2005
|
31 |
1 |
p. 29-33
|
article
|
| 4 |
A UML-based modeling of web application controller
|
Gorshkova, E. A.
|
|
2005
|
31 |
1 |
p. 29-33
|
article
|
| 5 |
Implementation of the XML linking language XLink by functional methods
|
Lizorkin, D. A.
|
|
2005
|
31 |
1 |
p. 34-46
|
article
|
| 6 |
Implementation of the XML linking language XLink by functional methods
|
Lizorkin, D. A.
|
|
2005
|
31 |
1 |
p. 34-46
|
article
|
| 7 |
Problems of the development and quality control of large software systems
|
Lipaev, V. V.
|
|
2005
|
31 |
1 |
p. 47-49
|
article
|
| 8 |
Survey of compiler testing methods
|
Kossatchev, A. S.
|
|
2005
|
31 |
1 |
p. 10-19
|
article
|
| 9 |
Survey of Compiler Testing Methods
|
Kossatchev, A. S.
|
|
2005
|
31 |
1 |
p. 10-19
|
article
|
| 10 |
Symbolic method of verification of definite iterations over altered data structures
|
Nepomniaschy, V. A.
|
|
2005
|
31 |
1 |
p. 1-9
|
article
|
| 11 |
Symbolic method of verification of definite iterations over altered data structures
|
Nepomniaschy, V. A.
|
|
2005
|
31 |
1 |
p. 1-9
|
article
|
Journal description