Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 6 / Issue 12

available in:   PDF (219 kB) PS (59 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-006-12-1203

 

Some Elements of Z Specification Style: Structuring Techniques

Anthony MacDonald (Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Australia)

David Carrington (Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Australia)

Abstract: 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.

Keywords: Z notation, formal specification, specification structure

Categories: D.2.1, F.3.1, F.4.3