Z++: Difference between revisions
Jump to navigation
Jump to search
imported>Atremari m Added short description |
imported>TarnishedPath m Per page move: Changed link from Class (computer programming) to Class (programming) using MovePlus |
||
| Line 6: | Line 6: | ||
'''Z++''' (pronounced ''zed'', or ''zee'' in American [[Z#Name and pronunciation|pronunciation]], ''plus plus'') is an [[object-oriented (programming)|object-oriented]] extension to the [[Z notation|Z]] [[specification language]]. | '''Z++''' (pronounced ''zed'', or ''zee'' in American [[Z#Name and pronunciation|pronunciation]], ''plus plus'') is an [[object-oriented (programming)|object-oriented]] extension to the [[Z notation|Z]] [[specification language]]. | ||
Z++ allows for the definition of [[Class ( | Z++ allows for the definition of [[Class (programming)|classes]], and the relation of classes through [[Inheritance (object-oriented programming)|inheritance]], [[Association (object-oriented programming)|association]], or [[Object composition#Aggregation|aggregation]]. The primary construct of Z++ is a class. A Z++ class consists of a number of clauses which are optional. | ||
==Z++ class structure== | ==Z++ class structure== | ||
Latest revision as of 08:39, 17 October 2025
Template:Short description Script error: No such module "Distinguish". Template:Use dmy dates Template:No footnotes
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 [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
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.
- REDIRECT Template:Prog-lang-stub