Formal specification using Z
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Basingstoke ; New York :
Palgrave ,
c2001
|
| Edition: | 2nd ed |
| Series: | Grassroots series
|
| Subjects: |
Table of Contents:
- 1. Introduction
- 2. Sets
- 3. Using sets to describe a system - a simple example
- 4. Logic
- 5. The example extended
- 6. Schemas
- 7. Examples of Z specification documens
- 8. Predicates and quantifiers
- 9. Relations
- 10. Functions
- 11. A seat allocation system
- 12. Sequences
- 13. An example of sequences - the aircraft example again
- 14. Extending a specification
- 15. Hints on creating specifications
- 16. Example specifications