Deriving Tests for Objects Specified in Z-Reference-Cited by-同舟云学术

Deriving Tests for Objects Specified in Z

Published:1993 Issue: Volume: Page:180-195
ISSN:1431-1682
Container-title:Workshops in Computing
language:
Short-container-title:

Author:

Cusack Elspeth,Wezeman Clazien

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3556-2_13

Reference16 articles.

1. Ed Brinksma, Giuseppe Scollo and Chris Steenbergen, LOTOS specifications, their implementations and their tests, in G Bochmann, B Sarikaya (Eds) Protocol Specification, Testing and Verification VI, North Holland, 1987

2. Ed Brinksma, A theory for the derivation of tests,S Aggarwal, K Sabnani (Eds) Protocol Specification, Testing and Verification VIII,North Holland, 1989

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

4. D Carrington, D Duke, R Duke, P King, G Rose and G Smith, Object-Z: An object oriented extension to Z, in S Vuong (Ed), Formal Description Techniques, 1989, North Holland, 1990

5. Elspeth Cusack, Refinement, conformance and inheritance,Formal Aspects of Computing Vol 3 No 2, April — June 1991

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

1. Testing and Refinement;Refinement in Z and Object-Z;2014

2. Weak Refinement;Refinement in Z and Object-Z;2014

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

4. Testing Refinements by Refining Tests;ZUM ’98: The Z Formal Specification Notation;1998

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