The specification language Z
D. C. Ince · 1993
Abstract To describe the schema, the main structuring device in the Z specification language. To describe how schemas can be included within each other. To outline how software systems can be described in the Z specification language. Although in the previous chapters computer systems have been described in precise terms, there has been little stress on the syntax of the mathematical notations used. This part of the book remedies this state of affairs. It describes a language called Z which is based on typed set theory and which allows a concise expression of the functional properties of computer systems. One of the principal features of Z is an object known as a schema.