Z++

Z++ (pronounced zed, or zee in American pronunciation, 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.