Contents
Programming and Computer Software

Vol. 25, No. 5, 1999

Simultaneous English language translation of the journal is available from “ / Interperiodica” (Russia).
Distributed worldwide by Kluwer Academic/Plenum Publishers. Programming and Computer Software ISSN 0361-7688.

A Mechanism for the Formal Description of Dynamic Systems

A. V. Zamulin p. 243  abstract

Some Definitions of the Class of CF Languages

L. I. Stanevichene p. 252  abstract

Web-like Databases, Non-Well-Founded Sets and Inductive Definability

V. Yu. Sazonov p. 262  abstract

RTST++: Methodology and a CASE Tool for the Development of Information Systems
and Software For Real-Time Systems

A. N. Terekhov, K. Yu. Romanovskii, D. V. Koznov, P. S. Dolgov, and A. N. Ivanov p. 276  abstract

Methodology and Tools for Predicting the Execution Time of Optimized Programs

V. V. Balashov, A. P. Kapitonova, V. A. Kostenko, R. L. Smelyanskii, and N. V. Yushchenko p. 282  abstract

Universal Shell of Hyperprogramming Systems

E. A. Zhogolev and V. V. Soboleva p. 290  abstract

A Maple Package for the Symbolic Construction of Power Series Solutions
to Linear Ordinary Differential Equations

A. A. Ryabenko p. 296  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.