1. On the jubilee of Lev Nikolaevich Korolev’s birth

   Announcement Pages: 1 - 1

2. Model-100: Specification language for interacting processes

   • A. V. Babichev
   • V. G. Lebedev

   OriginalPaper Pages: 2 - 13

3. Verification as a parameterized testing (experiments with the SCP4 supercompiler)

   • A. P. Lisitsa
   • A. P. Nemytykh

   OriginalPaper Pages: 14 - 23

4. Implementation of the conformation of MSC and SDL diagrams in the REAL technology

   • A. N. Terekhov
   • V. V. Sokolov

   OriginalPaper Pages: 24 - 33

5. On a universal model for the organization of database access

   • A. V. Klepinin

   OriginalPaper Pages: 34 - 43

6. UML model transformation and its application to MDA technology

   • M. B. Kuznetsov

   OriginalPaper Pages: 44 - 53