1. Formalization of test experiments

   • I. B. Bourdonov
   • A. S. Kossatchev
   • V. V. Kuliamin

   OriginalPaper Pages: 239 - 260

2. Object-oriented description of graph data structures

   • A. V. Demakov

   OriginalPaper Pages: 261 - 271

3. The use of contract specifications for representing requirements and for functional testing of hardware models

   • V. P. Ivannikov
   • A. S. Kamkin
   • A. K. Petrenko

   OriginalPaper Pages: 272 - 282

4. Graphical inheritance notation for state-based classes

   • D. G. Shopyrin
   • A. A. Shalyto

   OriginalPaper Pages: 283 - 292

5. Synthesis of parallel recursive programs in structural functional models

   • V. B. Novoseltsev

   OriginalPaper Pages: 293 - 298