Structuring specifications in Z

1 January 1989

journal article
Published by Institution of Engineering and Technology (IET) in Software Engineering Journal

Vol. 4 (1) , 51-66
https://doi.org/10.1049/sej.1989.0007

Abstract

In the specification notation known as Z, schemas are used to structure mathematical descriptions. This paper describes the language of schemas and the conventions that are employed in their use. It also describes how proof obligations are generated during specification, and how these obligations may be discharged. The paper contains many examples, mostly taken from the specification of the user interface to a small, but realistic, software component.

Keywords

SPECIFICATION NOTATION
SOFTWARE COMPONENT
USER INTERFACE
PROOF OBLIGATIONS
SPECIFICATION STRUCTURING
CONVENTIONS
SCHEMAS
MATHEMATICAL DESCRIPTIONS

This publication has 1 reference indexed in Scilit:

Software Engineering Mathematics
Published by Taylor & Francis ,1988