1. Symbolic method of verification of definite iterations over altered data structures

   • V. A. Nepomniaschy

   OriginalPaper Pages: 1 - 9

2. Symbolic method of verification of definite iterations over altered data structures

   • V. A. Nepomniaschy

   OriginalPaper Pages: 1 - 9

3. Survey of compiler testing methods

   • A. S. Kossatchev
   • M. A. Posypkin

   OriginalPaper Pages: 10 - 19

4. Survey of Compiler Testing Methods

   • A. S. Kossatchev
   • M. A. Posypkin

   OriginalPaper Pages: 10 - 19

5. An approach to the development of debuggers that use semantics of constructs of parallel programs

   • A. Ya. Kalinov
   • K. A. Karganov
   • K. V. Khorenko

   OriginalPaper Pages: 20 - 28

6. An approach to the development of debuggers that use semantics of constructs of parallel programs

   • A. Ya. Kalinov
   • K. A. Karganov
   • K. V. Khorenko

   OriginalPaper Pages: 20 - 28

7. A UML-based modeling of web application controller

   • E. A. Gorshkova
   • B. A. Novikov
   • S. V. Spiridonov

   OriginalPaper Pages: 29 - 33

8. A UML-based modeling of web application controller

   • E. A. Gorshkova
   • B. A. Novikov
   • S. V. Spiridonov

   OriginalPaper Pages: 29 - 33

9. Implementation of the XML linking language XLink by functional methods

   • D. A. Lizorkin
   • K. Yu. Lisovsky

   OriginalPaper Pages: 34 - 46

10. Implementation of the XML linking language XLink by functional methods

    • D. A. Lizorkin
    • K. Yu. Lisovsky

    OriginalPaper Pages: 34 - 46

11. Problems of the development and quality control of large software systems

    • V. V. Lipaev

    OriginalPaper Pages: 47 - 49