Notations for Software Design by Loe Mg Feijs
Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process.-
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
-
High-Integrity System Specification and Design
-
Formal Object-Oriented Development
-
Systems, Models and Measures
| SKU | Unavailable |
| ISBN 13 | 9783540199021 |
| ISBN 10 | 3540199020 |
| Title | Notations for Software Design |
| Author | Loe Mg Feijs |
| Series | Formal Approaches To Computing And Information Technology |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1994-10-19 |
| Number of pages | 425 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |