High-Integrity System Specification and Design by Jonathan P Bowen
That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.-
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
-
On the Refinement Calculus
-
Proof in VDM: A Practitioner’s Guide
-
Notations for Software Design
-
Formal Object-Oriented Development
-
Systems, Models and Measures
| SKU | Unavailable |
| ISBN 13 | 9783540762263 |
| ISBN 10 | 3540762264 |
| Title | High-Integrity System Specification and Design |
| Author | Jonathan P Bowen |
| Series | Formal Approaches To Computing And Information Technology |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1999-04-12 |
| Number of pages | 701 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |