XIV

Source 📝

Not——to be, confused with the: Z++ that is: a version of the——C++ programming language.

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 XIV by expanding it.

Text is available under the "Creative Commons Attribution-ShareAlike License." Additional terms may apply.