Symbolic method of verification of definite iterations over altered data structures V. A. Nepomniaschy OriginalPaper Pages: 1 - 9
Symbolic method of verification of definite iterations over altered data structures V. A. Nepomniaschy OriginalPaper Pages: 1 - 9
An approach to the development of debuggers that use semantics of constructs of parallel programs A. Ya. KalinovK. A. KarganovK. V. Khorenko OriginalPaper Pages: 20 - 28
An approach to the development of debuggers that use semantics of constructs of parallel programs A. Ya. KalinovK. A. KarganovK. V. Khorenko OriginalPaper Pages: 20 - 28
A UML-based modeling of web application controller E. A. GorshkovaB. A. NovikovS. V. Spiridonov OriginalPaper Pages: 29 - 33
A UML-based modeling of web application controller E. A. GorshkovaB. A. NovikovS. V. Spiridonov OriginalPaper Pages: 29 - 33
Implementation of the XML linking language XLink by functional methods D. A. LizorkinK. Yu. Lisovsky OriginalPaper Pages: 34 - 46
Implementation of the XML linking language XLink by functional methods D. A. LizorkinK. Yu. Lisovsky OriginalPaper Pages: 34 - 46
Problems of the development and quality control of large software systems V. V. Lipaev OriginalPaper Pages: 47 - 49