Issue No. 04 - Dec. (1975 vol. 1)
Robert E. Noonan , Department of Computer Science University of Maryland, College Park, Md. 20742
In the author's view structured programming consists of the use of the following: structure, abstraction, and specification. The purpose of this paper is to develop formal specifications fora nontrivial program in order to facilitate a proof of correctness. It is shown how the Specifications serve as an abstraction for the program. A proof of correctness then consists of merely showing that the program at each level meets its formal specifications. Under this methodology lower levels of the program can be changed without affecting higher levels.
Formal specifications, Programming, Grammar, Arrays, Specification languages, Production, structured programming, BNF grammars, formal specifications, inherited and synthesized attributes, program correctness
Robert E. Noonan, "Structured programming and formal specification", IEEE Transactions on Software Engineering, vol. 1, no. , pp. 421-425, Dec. 1975, doi:10.1109/TSE.1975.6312875