DocumentCode
2613997
Title
Synthesizing procedural abstractions from formal specifications
Author
Cheng, Betty H C
Author_Institution
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
fYear
1991
fDate
11-13 Sep 1991
Firstpage
149
Lastpage
154
Abstract
A description is presented of the development of the SEED system, which demonstrates that the building blocks of a large software system can be correctly synthesized from user-supplied formal specifications using techniques amenable to automation. SEED accepts a formal specification of a problem written in predicate logic and generates annotated program source code satisfying the specification. In addition to primitive programming language constructs, SEED is capable of synthesizing recursive and nonrecursive procedures and functions, and abstract data types
Keywords
data structures; formal specification; SEED system; abstract data types; annotated program source code; formal specifications; predicate logic; procedural abstractions synthesis; programming language constructs; software system; Automation; Computer languages; Computer science; Formal specifications; Libraries; Logic programming; Software maintenance; Software systems; Software tools; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location
Tokyo
Print_ISBN
0-8186-2152-4
Type
conf
DOI
10.1109/CMPSAC.1991.170166
Filename
170166
Link To Document