Z BASE STANDARD VERSION 1.0
S. M. Brien and J. E. Nicholls
Abstract
Z was originally developed as a specification notation for preparing formal descriptions of systems without nesscessarily indication how they will be implemented. This section includes a description of the aims and objectives of formal specification notations, with special reference to Z. the design principles used in the development of the Z standard are described.
Institution
OUCL
Month
November
Number
PRG107
Pages
211
Year
1992