| EPSRC Reference: |
GR/M20723/01 |
| Title: |
STANDARDIZING Z SEMANTICS |
| Principal Investigator: |
King, Dr S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 September 1998 |
Ends: |
31 August 2000 |
Value (£): |
129,393
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The safety and security critical software industry sees the use of formal methods - the application of mathematics to software development - as crucial in guaranteeing the dependability of its products. The most widely used mathematical notation in formal methods is Z. A panel of experts has for some years been slowly working on an international standard for the Z notation. The proposed programme of work aims to accelerate the completion of the Z standard. This will involve solving technical problems that no draft of the standard has yet addressed. A draft containing all the necessary formal normative materials will be produced within this project, providing the basis for a less austere publishable standard outside of it. Ideas for further ways in which the Z notation could be improved will also be researched. The results of this work will be incorporated in our Z support tool, known as CADIZ. This will have the effects of validating results, and making them available to users of Z, the CADIZ tool being free to all. The existence of a standard will encourage the development of other tools and interchangeability between tools, benefiting industry and other users.
|
|
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.york.ac.uk |