researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Programming and Computer Software
Home
Index
Info
Issue
Volume
35
, Issue
4
183
--
189
S. D. Makhortov
.
LP structures on type lattices and some refactoring problems
190
--
197
S. M. Achasova
.
Program constructor of cellular self-reproducing structures
198
--
211
Igor B. Bourdonov
,
Alexander Kossatchev
.
Systems with priorities: Conformance, testing, and composition
212
--
222
Victor V. Kuliamin
.
Integration of verification methods for program systems
223
--
234
Arutyun Avetisyan
,
S. S. Gaisaryan
,
Varvara V. Babkova
.
Iterative development of parallel programs in the ParJava environment
235
--
240
Pavel P. Oleynik
.
Implementation of the hierarchy of atomic literal types in an object system based of RDBMS