Henson, M.C. & Reeves, S. (2003). A logic for schema-based program development.Formal Aspects of Computing. 15(1), 48-83.
Permanent Research Commons link: http://hdl.handle.net/10289/65
We show how a theory of specification refinement and program development can be constructed as a conservative extension of our existing logic for Z. The resulting system can be set up as a development method for a Z-like specification language, or as a generalisation of a refinement calculus (with a novel semantics). In addition to the technical development we illustrate how the theory can be used in practice.
Springer-Verlag London Ltd
The final, definitive version of this article is available at the Formal Aspects of Computing webpage through Springerlink.