Systems, Models and Measures by Agnes Kaposi
The reader will be able to formulate problems in measurable terms, appraise and compare formal specifications, assess and enhance existing measurement practices, and devise measurement schemes for describing objective characteristics and expressing value judgements.-
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
-
High-Integrity System Specification and Design
-
Formal Object-Oriented Development
| SKU | Unavailable |
| ISBN 13 | 9783540197539 |
| ISBN 10 | 3540197532 |
| Title | Systems, Models and Measures |
| Author | Agnes Kaposi |
| Series | Formal Approaches To Computing And Information Technology |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Year published | 1993-12-01 |
| Number of pages | 335 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |