Refinement in Z and Object-Z

  title={Refinement in Z and Object-Z},
  author={John Derrick and Eerke A. Boiten},
  booktitle={Springer London},
Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
14 Citations
250 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 14 extracted citations

Similar Papers

Loading similar papers…