HOOD and Z for the development of complex software systems
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 262-289
- https://doi.org/10.1007/3-540-52513-0_15
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Software Engineering MathematicsPublished by Taylor & Francis ,1988
- Petri Nets: Central Models and Their PropertiesPublished by Springer Nature ,1987
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986
- Applying Formal Specification to Software Development in IndustryIEEE Transactions on Software Engineering, 1985