Paper Info
Title
Abstraction of formal specifications from program code
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
Year
DOI
Venue
1991
10.1109/TAI.1991.167086
IEEE Transactions on Applications and Industry
Keywords
Field
DocType
formal specification,object-oriented programming,programming theory,autospec,algorithms,domain-specific information,formal methods,formal specification abstraction,object-oriented techniques,program code
Abstraction,Programming language,Object-oriented programming,Computer science,Formal specification,Automatic control,Automation,Formal methods,Logic programming,Formal verification
Conference
Citations 
PageRank 
References 
18
2.01
2
Authors
2
Name
Order
Citations
PageRank
Betty H. C. Cheng152566.07
gerald c gannod2867.76