Modular Extensions to Z

This paper suggests some mechanisms for supporting a modular approach to specifications written using Z. The general idea is that a (system) specification must be a document which may be split into chapters. Chapters may share objects through import and export declarations, and it is possible to define generic chapters which may be instantiated.

[1]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[2]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[3]  Stephen Bear.  Structuring for the VDM Specification Language , 1988, VDM Europe.

[4]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[5]  Peter Henderson,et al.  The me too method of software design , 1986 .