Misplaced Pages

Z++

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Object-oriented extension to the Z specification language Not to be confused with the Z++ that is a version of the C++ programming language.

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (January 2013) (Learn how and when to remove this message)

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.

Z++ class structure

CLASS ClassName
END CLASS

See also

References

  • 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.


Stub icon

This programming-language-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: