||This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. (January 2013) (Learn how and when to remove this template message)|
- Z++ is also a version of the C++ programming language (not to be confused with Z++ that this article is about).
Z++ is an object-oriented extension to the Z specification language, allowing 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 [OWNS List_of_attributes] [FUNCTIONS constant_definitions] [TYPE type_declaration] [ENTENDS list_of_super_classes] [OPERATIONS list_of_state_change_operations_definitions] [RETURNS list_of_query_operations_definitions] [ACTIONS all_operations_declarations] [INVARIANT predicates] [HISTORY RTL_predicates] END CLASS
- 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.
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|