Model-100: Specification language for interacting processes A. V. BabichevV. G. Lebedev OriginalPaper Pages: 2 - 13
Verification as a parameterized testing (experiments with the SCP4 supercompiler) A. P. LisitsaA. P. Nemytykh OriginalPaper Pages: 14 - 23
Implementation of the conformation of MSC and SDL diagrams in the REAL technology A. N. TerekhovV. V. Sokolov OriginalPaper Pages: 24 - 33
On a universal model for the organization of database access A. V. Klepinin OriginalPaper Pages: 34 - 43
UML model transformation and its application to MDA technology M. B. Kuznetsov OriginalPaper Pages: 44 - 53