Unintrusive ways to integrate formal specifications in practice
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 545-569
- https://doi.org/10.1007/3-540-54834-3_32
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Larch Family of Specification LanguagesIEEE Software, 1985
- Applications and Extensions of SADTComputer, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- The Science of ProgrammingPublished by Springer Nature ,1981
- Formal specification as a design toolPublished by Association for Computing Machinery (ACM) ,1980
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977