Publication: A logic for schema-based program development
Authors
Loading...
Permanent Link
Publisher link
Rights
The final, definitive version of this article is available at the Formal Aspects of Computing webpage through Springerlink.
Abstract
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.
Citation
Henson, M.C. & Reeves, S. (2003). A logic for schema-based program development.Formal Aspects of Computing. 15(1), 48-83.
Type
Series name
Date
Publisher
Springer-Verlag London Ltd