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
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;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167086
