Details of Grant 

EPSRC Reference:	GR/J52020/01
Title:	MODELS, ALGEBRA AND MECHANICAL SUPPORT IN Z
Principal Investigator:	Simpson, Professor D
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Computing, Engineering & Maths
Organisation:	University of Brighton
Scheme:	Standard Research (Pre-FEC)
Starts:	01 January 1994	Ends:	31 December 1995	Value (£):	107,202
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:
Summary on Grant Application Form
1. To provide a complete set of axioms and rules of inference for Z2. To define a mechanism for describing Z constructions by transformation into more basic Z constructions.3. To define a powerful mathematical toolkit and to prove standard theorems about its properties.Progress:The work to date has fallen into three connected areas:a) clarification of the meaning of Z schemesb) development of the Z- - interpreterc) development of the Z Mathematical Tool-kita) The work on schemes arises from the need for a totally clear understanding when writing the interpreter, and has been stimulated by good but incompletely developed ideas thrown out by the ISO/BSI Z Standardisation process. This work has benefitted greatly from discussions with Stephen Brien, the projects collaborator in Oxford. The results are to be published in Valentine 1995b.b) The Z-- interpreter has made great progress and is nearly finished. Seminars on its progress have been presented at the Universities of Sussex and North London, and demonstrations were given at the Sixth Refinement Workshop ( January 1994 ) and Eighth Z User Meeting ( June 1994 ). A description of the Z- - language is to be published in Valentine 1995a. c) A complete draft of a new Mathematical Tool-kit has been written for the ISO/BSI Z Standardisation Committee. Its main innovation is a complete axiomatic definition of real numbers. The technical content of the work is intended to be published as part of the Standard when that appears, and a description should also be suitable for separate publication as a paper in due course. Bibliography:Valentine 1995a: S H Valentine, The Programming Language Z- Information and Software Technology, April (? ) 1995 Valentine 1995b. S H Valentine, Equal Rights for Schemas in Z, Proceedings of Ninth User Meeting, Limerick, September 1995
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.bton.ac.uk