Program Development and Specification Refinement in the Schema Calculus
Program Development and Specification Refinement in the Schema Calculus
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.
Type
Conference Contribution
Type of thesis
Series
Citation
Henson, M.C. & Reeves, S.(2000). Program Development and Specification Refinement in the Schema Calculus. In J.P. Bowen et al. (Eds), Proceedings of First International Conference of B and Z Users York, UK, August 29 – September 2, 2000.(pp. 344-362). Berlin: Springer.
Date
2000
Publisher
Springer, Berlin