The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1980 vol.6)
pp: 454-465
V.R. Basili , Department of Computer Science, University of Maryland
ABSTRACT
This paper discusses axiomatic and functional models of the semantics of structured programming. The models are presented together with their respective methodologies for proving program correctness and for deriving correct programs. Examples using these methodologies are given. Finally, the models are compared and contrasted.
INDEX TERMS
structured programming, Axiomatic correctness, functional correctness, program derivation
CITATION
V.R. Basili, R.E. Noonan, "A Comparison of the Axiomatic and Functional Models of Structured Programming", IEEE Transactions on Software Engineering, vol.6, no. 5, pp. 454-465, September 1980, doi:10.1109/TSE.1980.230494
30 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool