On the path to building a community of programs E. Z. Lyubimskii OriginalPaper 08 February 2009 Pages: 2 - 5
Implementation of parallel programs interpreter in the development environment ParJava V. P. IvannikovA. I. AvetisyanM. S. Akopyan OriginalPaper 08 February 2009 Pages: 6 - 17
The grid: Analysis of basic principles and ways of application V. N. KovalenkoD. A. Koryagin OriginalPaper 08 February 2009 Pages: 18 - 34
Operational ontological approach to formal programming language specification I. S. Anureev OriginalPaper 08 February 2009 Pages: 35 - 42
Application of the trace assertion method to the specification, design, and verification of automaton programs E. V. KuzminV. A. SokolovD. Ju. Chalyy OriginalPaper 08 February 2009 Pages: 43 - 55