Thesis icon

Thesis

A refinement calculus for Z

Abstract:

The lack of a method for developing programs from Z specifications is a difficulty that is now widely recognised. As a contribution to solving this problem, we present ZRC, a refinement calculus based on Morgan's work that incorporates the Z notation and follows its style and conventions. Other refinement techniques have been proposed for Z; ZRC builds upon some of them, but distinguishes itself in that it is completely formalised.

As several other refinement techniques, ZRC is forma...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Wolfson College
Department:
Mathematical,Physical & Life Sciences Division - Computing Laboratory
Role:
Author

Contributors

Role:
Supervisor
Publication date:
1997
Type of award:
DPhil
Level of award:
Doctoral
URN:
uuid:ee9c7207-01f6-4bac-8ed1-c354a2551f9c
Local pid:
ora:6040

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP