On the Refinement Calculus by Carroll Morgan
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.-
The B Language and Method
-
Formal Methods and Object Technology
-
Proof in VDM: Case Studies
-
A Theory and Practice of Program Development
-
Formal Methods in Human-Computer Interaction
-
Software Specification Methods
-
Specification Case Studies in RAISE
-
Industrial-Strength Formal Methods in Practice
-
Program Development by Refinement
-
Proof in VDM: A Practitioner’s Guide
-
Notations for Software Design
-
High-Integrity System Specification and Design
-
Formal Object-Oriented Development
-
Systems, Models and Measures
| SKU | Unavailable |
| ISBN 13 | 9783540199311 |
| ISBN 10 | 3540199314 |
| Title | On the Refinement Calculus |
| Author | Carroll Morgan |
| Series | Formal Approaches To Computing And Information Technology |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1994-12-13 |
| Number of pages | 159 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |