| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1023133
|
| Doc. No
|
:
|
b777503
|
| Main Entry
|
:
|
Spivey, J. M.
|
| Title & Author
|
:
|
The Z notation : : a reference manual /\ J.M. Spivey ; based on the work of J.R. Abrial [and others].
|
| Edition Statement
|
:
|
2nd ed.
|
| Publication Statement
|
:
|
New York :: Prentice Hall,, 1992.
|
| Series Statement
|
:
|
Prentice Hall international series in computer science
|
| Page. NO
|
:
|
xi, 158 pages ;; 24 cm.
|
| ISBN
|
:
|
0139785299
|
|
|
:
|
: 9780139785290
|
| Notes
|
:
|
Includes indexes.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and indexes.
|
| Contents
|
:
|
1. Tutorial Introduction. 1.1. What is a formal specification? 1.2. The birthday book. 1.3. Strengthening the specification. 1.4. From specifications to designs. 1.5. Implementing the birthday book. 1.6. A simple checkpointing scheme -- 2. Background. 2.1. Objects and types. 2.1.1. Sets and set types. 2.1.2. Tuples and Cartesian product types. 2.1.3. Bindings and schema types. 2.1.4. Relations and functions. 2.2. Properties and schemas. 2.2.1. Combining properties. 2.2.2. Decorations and renaming. 2.2.3. Combining schemas. 2.3. Variables and scope. 2.3.1. Nested scopes. 2.3.2. Schemas with global variables. 2.4. Generic constructions. 2.5. Partially-defined expressions -- 3. The Z Language. 3.1. Syntactic conventions. 3.1.1. Words, decorations and identifiers. 3.1.2. Operator symbols. 3.1.3. Layout. 3.2. Specifications. 3.2.1. Basic type definitions. 3.2.2. Axiomatic descriptions. 3.2.3. Constraints. 3.2.4. Schema definitions. 3.2.5. Abbreviation definitions. 3.3. Schema references.
|
|
|
:
|
3.4. Declarations. 3.4.1. Characteristic tuples. 3.5. Schema texts. 3.6. Expressions. 3.7. Predicates. 3.8. Schema expressions. 3.9. Generics. 3.9.1. Generic schemas. 3.9.2. Generic constants. 3.10. Free types. 3.10.1. Example: binary trees. 3.10.2. Consistency -- 4. The Mathematical Tool-kit. 4.1. Sets. 4.2. Relations. 4.3. Functions. 4.4. Numbers and finiteness. 4.5. Sequences. 4.6. Bags -- 5. Sequential Systems. 5.1. States and operations. 5.2. The [Delta] and [Xi] conventions. 5.3. Loose specifications. 5.4. Sequential composition and piping. 5.5. Operation refinement. 5.6. Data refinement. 5.7. Functional data refinement -- 6. Syntax Summary.
|
| Subject
|
:
|
Z (Computer program language)
|
| Subject
|
:
|
Z (Computer program language)
|
| Subject
|
:
|
Z
|
| Dewey Classification
|
:
|
005.1/1
|
| LC Classification
|
:
|
QA76.73.Z2S66 1992
|
| NLM classification
|
:
|
005.133Z
|
|
|
:
|
54.53bcl
|
|
|
:
|
DAT 335fstub
|
|
|
:
|
DAT 379fstub
|
|
|
:
|
ST 130rvk
|
|
|
:
|
ST 140rvk
|
|
|
:
|
ST 230rvk
|