عنوان

The Z notation :

0139785299

9780139785290

b777503

The Z notation :

[Book]

a reference manual /

J.M. Spivey ; based on the work of J.R. Abrial [and others].

2nd ed.

New York :

Prentice Hall,

1992.

xi, 158 pages ;

24 cm.

Prentice Hall international series in computer science

Includes indexes.

Includes bibliographical references and indexes.

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.

0

8

£18.95

Z notation.

Z (Computer program language)

Z

Z (Computer program language)

518.572.7.S76

Spivey, J. M.

20201203104954.0

[Book]

Y