Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call