Henson, Martin C.Reeves, Steve2008-12-042008-12-042000Henson, 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.https://hdl.handle.net/10289/1533We 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.encomputer scienceschema calculusZConference Contribution10.1007/3-540-44525-0_20