OOZE: An Object Oriented Z Environment-Reference-Cited by-同舟云学术

OOZE: An Object Oriented Z Environment

Published: Issue: Volume: Page:180-199
ISSN:
Container-title:ECOOP'91 European Conference on Object-Oriented Programming
language:
Short-container-title:

Author:

Alencar Antonio J.,Goguen Joseph A.

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0057022.pdf

Reference25 articles.

1. American National Standards Institute, Inc. The programming language Ada reference manual. In Lecture Notes in Computer Science 155. Springer-Verlag, 1983. ANSI/MIL-STD-1815A-1983.

2. S. Bear. Structuring for the VDM specification language. In Lecture Notes in Computer Science 328. Springer-Verlag, 1988.

3. R.M. Burstall and Joseph A. Goguen. The semantics of Clear, a specification language. In Lecture Notes in Computer Science 86, pages 292–332. Springer-Verlag, 1980.

4. Dan Craigen. Position paper for FM 89. In Proceedings of Formal Methods '89, Workshop on Formal Methods, Halifax, Nova Scotia, Canada, July 1989.

5. Elspeth Cusack. Inheritance in object oriented Z, November 1990. British Telecom.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification with Class: A Brief History of Object-Z;Lecture Notes in Computer Science;2020

2. An Introduction to Object-Z;Refinement in Z and Object-Z;2014

3. Formalization of MOF-Based Metamodels;Advances in Computer and Electrical Engineering;2010

4. Decoupling in Object Orientation;FM 2005: Formal Methods;2005

5. Object Orientation without Extending Z;ZB 2003: Formal Specification and Development in Z and B;2003