Z++ (pronounced zed plus plus) is an object-oriented extension to the Z specification language.
Z++ allows for the definition of
classes, and the relation of classes through inheritance, association, or aggregation. The primary construct of Z++ is a class. A Z++ class consists of a number of clauses which are optional.
Z++ class structure [ edit ]
See also [ edit ]
References [ edit ]
This article is based on material taken from the prior to 1 November 2008 and incorporated under the "relicensing" terms of the Free On-line Dictionary of Computing GFDL, version 1.3 or later.
Lano, K.C., Z++, an Object-Oriented Extension to Z. Z User Workshop, Oxford 1990, Springer, Workshops in Computing, 1991, pp. 151–172. Lano, K.C., Formal Object-Oriented Development. Springer-Verlag, London, 1995.
AAOB - Thesis 2009.