Z and the Refinement Calculus

@inproceedings{King1990ZAT,
  title={Z and the Refinement Calculus},
  author={S. King},
  booktitle={VDM Europe},
  year={1990}
}
  • S. King
  • Published in VDM Europe 1990
  • Computer Science
  • Z has been developed as a formal specification notation, and, as such, has been used successfully for a number of years. Recently, other formal notations, the various flavours of refinement calculi, have emerged. They have been designed as wide spectrum languages to support the whole of the development cycle, from abstract specification through to executable code. We explore the differences between Z and the refinement calculus, and explain the reasons for some of those differences. 
    73 Citations
    Z Logic and Its Applications
    • 10
    A Refinement Tool for Z
    • 3
    • PDF
    ZRC – A Refinement Calculus for Z
    • 54
    A Logic for Schema-Based Program Development
    • 13
    • PDF
    Modular refinement in novel schema calculi
    • 1
    • PDF
    Z and Hoare Logics
    • 9
    • Highly Influenced
    • PDF
    Heterogeneous Notations for Pure Formal Method Integration
    • R. Paige
    • Computer Science
    • Formal Aspects of Computing
    • 2005
    • 6
    • PDF
    A Calculus for Predicative Programming
    • 34
    Refinement and the Z schema calculus
    • L. Groves
    • Computer Science, Mathematics
    • Electron. Notes Theor. Comput. Sci.
    • 2002
    • 18
    Adding Specification Constructors to the Refinement Calculus
    • 21

    References

    SHOWING 1-9 OF 9 REFERENCES
    Understanding Z : A specification language and its formal semantics
    • J. Spivey
    • Computer Science
    • Cambridge tracts in theoretical computer science
    • 1985
    • 596
    • PDF
    Properties of Z specifications
    • 24
    Programming from specifications
    • C. Morgan
    • Computer Science
    • Prentice Hall International Series in computer science
    • 1990
    • 1,338
    • Highly Influential
    Systematic software development using VDM
    • C. Jones
    • Computer Science
    • Prentice Hall International Series in Computer Science
    • 1986
    • 2,390
    The Z notation - a reference manual
    • J. Spivey
    • Computer Science
    • Prentice Hall International Series in Computer Science
    • 1989
    • 4,043
    • PDF
    Programs from specifications
    • 21
    Specification case studies
    • 403
    Software development - a rigorous approach
    • C. Jones
    • Computer Science
    • Prentice Hall international series in computer science
    • 1980
    • 411
    A Discipline of Programming
    • 4,897
    • PDF