Abstraction of formal specifications from program code
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 125-128
- https://doi.org/10.1109/tai.1991.167086
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
This publication has 4 references indexed in Scilit:
- The Maintainer's Assistant (software tool)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Synthesizing procedural abstractions from formal specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A visual programming environment for Z specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Science of ProgrammingPublished by Springer Nature ,1981