Journal: Programming and Computer Software

Volume 35, Issue 4

183 -- 189S. D. Makhortov. LP structures on type lattices and some refactoring problems
190 -- 197S. M. Achasova. Program constructor of cellular self-reproducing structures
198 -- 211Igor B. Bourdonov, Alexander Kossatchev. Systems with priorities: Conformance, testing, and composition
212 -- 222Victor V. Kuliamin. Integration of verification methods for program systems
223 -- 234Arutyun Avetisyan, S. S. Gaisaryan, Varvara V. Babkova. Iterative development of parallel programs in the ParJava environment
235 -- 240Pavel P. Oleynik. Implementation of the hierarchy of atomic literal types in an object system based of RDBMS