Reasoning and refinement in object-oriented specification languages
- 7 June 2006
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- OOZE: An Object Oriented Z EnvironmentPublished by Springer Nature ,2006
- W: A Logic for ZPublished by Springer Nature ,1992
- Creating specifications from code: Reverse-engineering techniquesJournal of Software Maintenance: Research and Practice, 1991
- Promoting Forward SimulationPublished by Springer Nature ,1991
- Modular Object-Oriented Z SpecificationsPublished by Springer Nature ,1991
- Capsules and types in FrescoPublished by Springer Nature ,1991
- Lessons from the design of the Eiffel librariesCommunications of the ACM, 1990
- A calculus of refinements for program derivationsActa Informatica, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986