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...

Files:
• (pdf, 1.0MB)

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Wolfson College
Role:
Author
More by this author
Division:
MPLS
Department:
Computer Science
Role:
Author

#### Contributors

Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Publication date:
1997
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Language:
English
Keywords:
Subjects:
UUID:
uuid:ee9c7207-01f6-4bac-8ed1-c354a2551f9c
Local pid:
ora:6040
Deposit date:
2012-02-01