1. Simple Self-Reproduction Programs in a Cellular Space Based on the Parallel Substitution Algorithm

   • S. M. Achasova

   OriginalPaper Pages: 181 - 187

2. Traversal of an Unknown Directed Graph by a Finite Robot

   • I. B. Bourdonov

   OriginalPaper Pages: 188 - 203

3. Graphic Language for Describing Constraints on Diagrams of UML Classes

   • A. N. Ivanov

   OriginalPaper Pages: 204 - 208

4. An Extension of Fortran for High Performance Parallel Computing

   • A. Ya. Kalinov
   • I. N. Ledovskikh

   OriginalPaper Pages: 209 - 217

5. Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language

   • A. S. Kossatchev
   • P. Kutter
   • M. A. Posypkin

   OriginalPaper Pages: 218 - 229

6. Thesaurus Implementation in Integrated System of Information Resources (ISIR)

   • Nguyen Manh Hung

   OriginalPaper Pages: 230 - 240