Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.
Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.
Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.
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 Z, 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.
| Item Type: | Monograph (UNSPECIFIED) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
| SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
| Depositing User: | Unnamed user with email elements@essex.ac.uk |
| Date Deposited: | 27 Feb 2014 11:51 |
| Last Modified: | 15 Jan 2022 01:07 |
| URI: | http://repository.essex.ac.uk/id/eprint/8665 |
Available files
Filename: csm361.pdf