A case for structured analysis/formal design

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 81-105
https://doi.org/10.1007/3-540-54834-3_8

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Informal and formal requirements specification languages: bridging the gap
IEEE Transactions on Software Engineering, 1991
Software safety in embedded computer systems
Communications of the ACM, 1991
Integrating formal methods into the development process
IEEE Software, 1990
Seven myths of formal methods
IEEE Software, 1990
Structured analysis—formal design, using stream and object oriented formal specifications
ACM SIGSOFT Software Engineering Notes, 1990
An algebra for data flow diagram process decomposition
IEEE Transactions on Software Engineering, 1988
Transformation of data flow analysis models to object oriented design
Published by Association for Computing Machinery (ACM) ,1988
Using VDM in an Object-Oriented development method for Ada software
Published by Springer Nature ,1987