Modular Object-oriented Z Specifications

We introduce an object-oriented extension to Z, providing further means to modularize specifications than the schemas and schema calculus in the original formalism.

[1]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[2]  David J. Duke,et al.  Towards a Semantics for Object-Z , 1990, VDM Europe.

[3]  Peter Wegner,et al.  The Object-Oriented Classification Paradigm , 1987, Research Directions in Object-Oriented Programming.

[4]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

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

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

[7]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[8]  Augusto Sampaio,et al.  Modular Extensions to Z , 1990, VDM Europe.

[9]  José Meseguer,et al.  Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.