A survey of object orientation in Z
- 1 January 1992
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 7 (2) , 150-160
- https://doi.org/10.1049/sej.1992.0016
Abstract
Two technologies offer much to the software industry; formal specification aids precision and object orientation aids structuring. One popular formal specification language is Z. In this paper, we survey techniques for adding object-oriented structuring to Z and look at three of them [1–3] in more detail.Keywords
This publication has 5 references indexed in Scilit:
- OOZE: An Object Oriented Z EnvironmentPublished by Springer Nature ,2006
- Inheritance in object oriented ZPublished by Springer Nature ,2006
- Object-oriented design with 2176APublished by Association for Computing Machinery (ACM) ,1992
- Object-Oriented Process SpecificationPublished by Springer Nature ,1990
- Dimensions of object-based language designPublished by Association for Computing Machinery (ACM) ,1987