Corpus ID: 35353289

A refinement calculus for Z

  title={A refinement calculus for Z},
  author={A. Cavalcanti},
  • A. Cavalcanti
  • Published 1997
  • Computer Science
  • The lack of a method for developing programs from Z specifications is a difficulty that is now widely recognised. As a contribution to solving this problem, we present ZRC, a refinement calculus based on Morgan's work that incorporates the Z notation and follows its style and conventions. Other refinement techniques have been proposed for Z; ZRC builds upon some of them, but distinguishes itself in that it is completely formalised. As several other refinement techniques, ZRC is formalised in… CONTINUE READING
    32 Citations

    Topics from this paper

    ZRC – A Refinement Calculus for Z
    • 54
    A Refinement Tool for Z
    • 3
    • PDF
    A Denotational Semantics for Circus
    • 40
    Modular refinement in novel schema calculi
    • 1
    • PDF
    Modular reasoning in Z: scrutinising monotonicity and refinement
    • 5
    • PDF
    A Concurrent Language for Refinement
    • 114
    • PDF
    Refine and gabriel: support for refinement and tactics
    • 15
    • PDF
    Fault-based refinement-testing for CSP
    • PDF
    CZT Support for Z Extensions
    • 25
    • PDF