LP structures on type lattices and some refactoring problems S. D. Makhortov OriginalPaper 29 July 2009 Pages: 183 - 189
Program constructor of cellular self-reproducing structures S. M. Achasova OriginalPaper 29 July 2009 Pages: 190 - 197
Systems with priorities: Conformance, testing, and composition I. B. BourdonovA. S. Kossatchev OriginalPaper 29 July 2009 Pages: 198 - 211
Integration of verification methods for program systems V. V. Kuliamin OriginalPaper 29 July 2009 Pages: 212 - 222
Iterative development of parallel programs in the ParJava environment A. I. AvetisyanS. S. GaisaryanV. V. Babkova OriginalPaper 29 July 2009 Pages: 223 - 234
Implementation of the hierarchy of atomic literal types in an object system based of RDBMS P. P. Oleynik OriginalPaper 29 July 2009 Pages: 235 - 240