Using Z as a specification calculus for object-oriented systems
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 290-318
- https://doi.org/10.1007/3-540-52513-0_16
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Specifying reusable components using Z: realistic sets and dictionariesACM SIGSOFT Software Engineering Notes, 1989
- Type theories and object-oriented programmimgACM Computing Surveys, 1988
- Object identityACM SIGPLAN Notices, 1986
- Genericity versus inheritanceACM SIGPLAN Notices, 1986
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979