This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Structured programming and formal specification
Dec. 1975 (vol. 1 no. 4)
pp. 421-425
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.
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
Usage of this product signifies your acceptance of the Terms of Use.