An introduction to formal specification and Z
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London ; New York :
Prentice Hall ,
c1996
|
| Edition: | 2nd ed |
| Series: | Prentice-Hall international series in computer science
|
| Subjects: |
Table of Contents:
- 1. Formal specification in the context of software engineering
- 2. An formal introduction to logic and set theory
- 3. A first specification
- 4. The Z notation: the mathematical language
- 5. The Z notation: relations and functions
- 6. The Z notation: schemes and specification structure
- 7. A first specification revisited
- 8. Camp energy: a case study
- 9. Formal reasoning
- 10. From specification to program: data and operation refinement
- 11. From specification to program: operation decomposition
- 12. From theory to practice