JUCS - Journal of Universal Computer Science 6(12): 1203-1225, doi: 10.3217/jucs-006-12-1203
Some Elements of Z Specification Style: Structuring Techniques
expand article infoAnthony Macdonald, David Carrington
‡ Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Brisbane, Australia
Open Access
This article investigates the issue of structuring Z specifications. It uses examples from a large specification (the production cell) to examine both conventions for using Z and notational extensions, including Object-Z. Because of the importance of good structure within a specification, specifiers need to be aware of a range of structuring techniques and understand where each is applicable.
formal specification, Z notation, specification structure