Multilevel structured program design: Formalization and applications

The authors present the conception of structured design grammars (SDG), which provide the basis for the MSPD method. A classification of program development methods according to top-down, bottom-up, and mixed strategy is proposed. The SDG formalism makes it possible to consider the problem of multilevel partial program verification, program transformation, and documentation generation during program development and subsequent maintenance. The MSPD method is demonstrated in application to a number of program design projects. They develop the arsenal of structured programming using MSPD method. Language and software tools constituting the basis of structured programming are considered. The problem of multilevel optimizing translation is treated in the context of the mul'tiprotsessist system oriented to automatic structured parallel programming by the MSPD method. Applications of the MSPD method to symbolic processing are considered. The process of structured design of the partran system and of software modules for mini- and microcomputers is described. 70 references.

[1]  E. L. Yushchenko,et al.  Representation of languages in bobsled (bs) automata , 1974 .

[2]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[3]  G. E. Tseitlin,et al.  Parametric models of languages oriented toward unambiguous PR-analysis , 1977, Cybernetics.

[4]  G. E. Tseitlin,et al.  Multilayer syntactic analysis of parallel programming systems , 1979 .

[5]  A. K. Gorin,et al.  Structured programming based on algorithmic algebra systems with file manipulating facilities , 1981 .

[6]  M. E. Berkovich.  Parallel processes on distributed computer systems for the solution of problems of large size , 1979 .

[7]  E. L. Yushchenko,et al.  Theory of language processors and parallel computations , 1979 .

[8]  G. E. Tseitlin.  Problem of identity transformations of schemes of structured programs with closed logical conditions. II , 1978 .

[9]  E. V. Evreinov,et al.  Computer Systems: collection of articles, Vol. 42. [Translation of collection of Russian articles]. Vychislitel'nye Sistemy: sbornik statei, Vyp. 42 , 1975 .

[10]  N. M. Nagorny,et al.  The Theory of Algorithms , 1988 .

[11]  A. Gladkii.  Formal Grammars and Languages , 1978 .

[12]  Glen C. Michtom,et al.  A structured approach to programming , 1977 .

[13]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[14]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[15]  G. E. Tseytlin.  The Theory of the Modified Post Algebras and Multidimensional Automata Structures , 1975, MFCS.

[16]  V. M. Glushkov,et al.  Recursive Machines and Computing Technology , 1974, IFIP Congress.

[17]  G. E. Tseytlin.  Schematics of Structural Parallel Programming and its Applications , 1979, MFCS.

[18]  Edward Yourdon,et al.  Techniques of Program Structure and Design , 1976 .

[19]  E. L. Yushchenko,et al.  Analysis and synthesis of structured parallel programs , 1981 .