The Z notation - a reference manual

@inproceedings{Spivey1989TheZN,
  title={The Z notation - a reference manual},
  author={J. Michael Spivey},
  booktitle={Prentice Hall International Series in Computer Science},
  year={1989}
}
data type A state space, together with an initial state and a number of operations. In Z, these are all described using schemas. (p. 128) abstraction schema In data refinement, a schema which documents the relationship between the abstract and concrete state spaces. (p. 137)ion schema In data refinement, a schema which documents the relationship between the abstract and concrete state spaces. (p. 137) basic type A named type denoting a set of objects regarded as atomic in a specification. (p… CONTINUE READING
Highly Influential
This paper has highly influenced 141 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 5,824 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 2,061 extracted citations

Schema Types

View 10 Excerpts
Highly Influenced

Slicing Z specifications

SIGPLAN Notices • 2004
View 18 Excerpts
Method Support
Highly Influenced

Alloy: a lightweight object modelling notation

ACM Trans. Softw. Eng. Methodol. • 2002
View 4 Excerpts
Highly Influenced

Analyzing a Real-Time Program with Z

ZUM • 1998
View 5 Excerpts
Highly Influenced

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria, Bernhard Steffen, +4 authors Bernhard Steffen Eds
Lecture Notes in Computer Science • 2018
View 6 Excerpts
Highly Influenced

Formal development of multi-agent systems using MAZE

Sci. Comput. Program. • 2016
View 4 Excerpts
Highly Influenced

5,825 Citations

0100200300'70'86'03
Citations per Year
Semantic Scholar estimates that this publication has 5,825 citations based on the available data.

See our FAQ for additional information.