Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!-Reference-Cited by-同舟云学术

Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!

Published:1991 Issue: Volume: Page:179-202
ISSN:0302-9743
Container-title:Foundations of Object-Oriented Languages
language:
Short-container-title:

Author:

Cusack Elspeth,Lai Michael

Publisher

Springer Berlin Heidelberg

Link

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

Reference23 articles.

1. Ed Brinksma, Giuseppe Scollo and Chris Steenbergen, LOTOS specifications, their implementations and their tests, Sixth International Symposium on Protocol Testing, Specification and Verification, Montreal, June 1986

2. Ed Brinksma and Tommaso Bolognesi, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, Vol 14 Number 1, 1987

3. D Carrington, D Duke, R Duke, P King, G Rose and P Smith, Object-Z: An Object Oriented Extension To Z, FORTE89 — International Conference On Formal Description Techniques, Vancouver, December 1989

4. Elspeth Cusack, Fundamental aspects of object oriented specification, Br Telecom Technol J Vol 6 No 3, July 1988

5. Elspeth Cusack, Refinement, conformance and inheritance, BCS Workshop on Refinement, Open University, January 1989 (revised version to appear in Formal Aspects of Computing)

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

1. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998

2. On simulation, subtyping and substitutability in sequential object systems;Formal Aspects of Computing;1995-11

3. Select Z bibliography;ZUM '95: The Z Formal Specification Notation;1995

4. A behavioral notion of subtyping;ACM Transactions on Programming Languages and Systems;1994-11

5. Specifications and their use in defining subtypes;ZUM '95: The Z Formal Specification Notation;1993