DocumentCode
2389589
Title
Abstraction of formal specifications from program code
Author
Cheng, Betty H C ; Gannod, Gerald C.
Author_Institution
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
fYear
1991
fDate
10-13 Nov 1991
Firstpage
125
Lastpage
128
Abstract
A description is presented of the development of the tool AUTOSPEC (automated specification), which abstracts formal specifications from program code. The abstraction process can incorporate domain-specific information supplied interactively by the user, as necessary. The abstraction algorithms and a discussion of the use of formal methods and object-oriented techniques for the development of AUTOSPEC are given. Implementation-specific information is given and related work is described
Keywords
formal specification; object-oriented programming; programming theory; AUTOSPEC; algorithms; domain-specific information; formal methods; formal specification abstraction; object-oriented techniques; program code; Abstracts; Automatic control; Automation; Computer science; Control systems; Formal specifications; Logic programming; Programming profession; Software engineering; Software tools;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location
San Jose, CA
Print_ISBN
0-8186-2300-4
Type
conf
DOI
10.1109/TAI.1991.167086
Filename
167086
Link To Document