Title :
Evaluation criteria for functional specifications
Author :
Cardenas, Sergio ; Zelkowitz, Marvin V.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
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;
Conference_Titel :
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2026-9
DOI :
10.1109/ICSE.1990.63600
