Program Development and Specification Refinement in the Schema Calculus

Authors:
Martin C. Henson;Steve Reeves
Affiliations:
-;-
Venue:
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Year:
2000

Citing 6
Cited 2

Implementing mathematics with the Nuprl proof development system

Implementing mathematics with the Nuprl proof development system
The Z notation: a reference manual

The Z notation: a reference manual
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Z and the Refinement Calculus

VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
W: A Logic for Z

Proceedings of the Z User Workshop

mu-Charts and Z: Hows, Whys, and Wherefores

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Practical data refinement for the z schema calculus

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a framework for program development and specification refinement in the schema calculus of Z. We provide illustrative examples outlining the major design decisions based on an interpretation of operation schemas as sets of programs.