The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - Dec. (1975 vol.1)
pp: 421-425
Robert E. Noonan , Department of Computer Science University of Maryland, College Park, Md. 20742
ABSTRACT
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.
INDEX TERMS
Formal specifications, Programming, Grammar, Arrays, Specification languages, Production, structured programming, BNF grammars, formal specifications, inherited and synthesized attributes, program correctness
CITATION
Robert E. Noonan, "Structured programming and formal specification", IEEE Transactions on Software Engineering, vol.1, no. 4, pp. 421-425, Dec. 1975, doi:10.1109/TSE.1975.6312875
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool