Program Development and Specification Refinement in the Schema Calculus
Citation
Export citationHenson, 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.
Permanent Research Commons link: https://hdl.handle.net/10289/1533
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.
Date
2000Publisher
Springer, Berlin