1. Algebraic-grammatical specifications and synthesis of structured program schemas

   • E. L. Yushchenko
   • G. E. Tseitlin
   • A. V. Galushka

   OriginalPaper Pages: 713 - 727

2. Software support tools for construction of interactive problem-solving systems

   • O. L. Perevozchikova

   OriginalPaper Pages: 727 - 739

3. Transformation approach to program concretization

   • V. N. Kas'yanov

   OriginalPaper Pages: 740 - 745

4. Reusable components and assembly design of data processing systems

   • L. P. Babenko

   OriginalPaper Pages: 746 - 749

5. Hyperintelligence for synthesis of structured images of technical objects

   • V. P. Zhidakov

   OriginalPaper Pages: 750 - 756

6. Program generation in a computer-aided research system for optimization of geometrical-design problems

   • V. G. Eshchenko

   OriginalPaper Pages: 757 - 759

7. Rational data structures and their applications

   • P. V. Gorshkov

   OriginalPaper Pages: 760 - 765

8. Formal set definition system as a tool of nonprocedural parallel programming

   • R. M. Nuriev

   OriginalPaper Pages: 766 - 772

9. Design of effective automaton-reduction algorithms for some equivalence relations

   • A. B. Godlevskii
   • S. L. Krivoi

   OriginalPaper Pages: 772 - 782

10. Software for modeling of physicomechanical fields

    • A. N. Shevchenko

    BriefCommunication Pages: 782 - 784

11. An IBM PC based programmer workstation

    • V. L. Katkov

    OriginalPaper Pages: 785 - 789

12. Parallelization of sorting algorithms

    • G. E. Tseitlin

    OriginalPaper Pages: 790 - 798

13. Evaluation of operators defined by regular schemas

    • S. V. Surzhko

    OriginalPaper Pages: 798 - 801

14. Structured design and synthesis of some symbolic processing programs

    • L. I. Nagornaya

    OriginalPaper Pages: 802 - 804

15. Some aspects of the design of local process-control systems

    • V. G. Akulovskii

    OriginalPaper Pages: 805 - 808

16. Saa machine

    • V. A. Korolevich

    OriginalPaper Pages: 808 - 814

17. Application of the MSPD method in automated compiler construction systems

    • V. E. Fesyunov

    OriginalPaper Pages: 814 - 817

18. Software support tools for program synthesis for mini- and microcomputers

    • V. P. Zakhariya
    • L. M. Zakhariya

    OriginalPaper Pages: 817 - 820

19. Organization of the interactive interface in the APAC-D package

    • I. N. Molchanov
    • M. K. Kadyrov
    • T. V. Chistyakova

    BriefCommunication Pages: 821 - 822

20. Standard components for computational mathematics software

    • A. Yu. Boboshko

    OriginalPaper Pages: 823 - 826

21. Formal specification of hierarchical reports

    • M. R. Taranovskii

    OriginalPaper Pages: 827 - 833

22. Manipulation aspect of databases: The composition approach

    • V. N. Red'ko
    • D. B. Bui
    • S. P. Zagorskii

    OriginalPaper Pages: 833 - 843

23. Automated design of data structures in computerized information systems

    • A. K. Gorin

    OriginalPaper Pages: 844 - 849