DocumentCode
2320728
Title
Evaluation criteria for functional specifications
Author
Cardenas, Sergio ; Zelkowitz, Marvin V.
Author_Institution
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
fYear
1990
fDate
26-30 Mar 1990
Firstpage
26
Lastpage
33
Abstract
Functional correctness is a technique for deriving a program and proving that this program meets its specifications. Both a program and its specifications are viewed as functions. Through the use of techniques based upon symbolic execution and denotational semantics, a proof methodology has been developed. The authors extend this theory of functional specifications, making it possible to model various life-cycle methods in a consistent manner. Given several possible implementations for a given specification, they develop techniques for evaluating one implementation over another
Keywords
formal specification; program verification; denotational semantics; evaluation criteria; functional correctness; functional specifications; life-cycle methods; proof methodology; symbolic execution; Computer languages; Computer science; Concrete; Educational institutions; Memory; Milling machines;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location
Nice
Print_ISBN
0-8186-2026-9
Type
conf
DOI
10.1109/ICSE.1990.63600
Filename
63600
Link To Document