On object-oriented design and verification
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 92-111
- https://doi.org/10.1007/bfb0015457
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A calculus for predicative programmingPublished by Springer Nature ,1993
- Object-Oriented ProgrammingPublished by Springer Nature ,1993
- Object-oriented design with 2176APublished by Association for Computing Machinery (ACM) ,1992
- Duality in specification languages: a lattice-theoretical approachActa Informatica, 1990
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Prespecification in data refinementInformation Processing Letters, 1987
- Inheritance and Subtyping in a Parallel Object-Oriented LanguagePublished by Springer Nature ,1987
- Non-deterministic data types: models and implementationsActa Informatica, 1986