Specifying and Interpreting Class Hierarchies in Z-Reference-Cited by-同舟云学术

Specifying and Interpreting Class Hierarchies in Z

Published:1994 Issue: Volume: Page:120-138
ISSN:1431-1682
Container-title:Z User Workshop, Cambridge 1994
language:
Short-container-title:

Author:

Hall Anthony

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3452-7_8

Reference6 articles.

1. Cusack E. Inheritance in object oriented Z. In America P (ed), ECOOP ‘81: European Conference on Object-oriented Programming, Lecture Notes in Computer Science No. 512, pp 167 — 179. Springer Verlag, 1991.

2. Hall A. Using Z as a Specification Calculus for Object-Oriented Systems. In Bjorner D, Langmaack H (eds), Proceedings of VDM 90, Lecture Notes in Computer Science No. 428, pp 290 — 318. Springer Verlag, 1990.

3. Lano K, Haughton H. Reuse and Adaptation of Z Specifications. In Bowen JP, Nicholls JE (eds), Z User Workshop London 1992, Workshops in Computing, pp 62 — 90. Springer Verlag, 1992.

4. Liskov B, Wing JM. A New Definition of the Subtype Relation. In Nierstrasz OM (ed), Proceedings of ECOOP ‘83 - Object-Oriented Programming, Lecture Notes in Computer Science No. 707, pp 118 — 141. Springer Verlag, 1993.

5. Spivey JM. The Z Notation: A Reference Manual. Prentice Hall, Second edition, 1992.

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

1. Sound and Relaxed Behavioural Inheritance;From Astrophysics to Unconventional Computation;2019-04-17

2. Formal relational database design: an exercise in extending the formal template language;Formal Aspects of Computing;2014-11

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

4. Automated Reviewing of Healthcare Security Policies;Foundations of Health Information Engineering and Systems;2013

5. Validation of Security-Design Models Using Z;Formal Methods and Software Engineering;2011