Z++

Ej att förväxla med Z++ som är en version av programmeringsspråket C++ .

Z++ (uttalas zed , eller zee i amerikanskt uttal , plus plus ) är en objektorienterad tillägg till Z -specifikationsspråket .

Z++ tillåter definitionen av klasser och relationen mellan klasser genom arv , association eller aggregering . Den primära konstruktionen av Z++ är en klass. En Z++-klass består av ett antal satser som är valfria.

Z++ klassstruktur

 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 predicates] [VARIANTS all_operations] KLASS 

Se även

• Objekt-Z

• Lano, KC , Z++, en objektorienterad tillägg till Z . Z User Workshop, Oxford 1990, Springer , Workshops in Computing, 1991, s. 151–172.
• Lano, KC, Formell objektorienterad utveckling. Springer-Verlag, London, 1995.
• AAOB - Examensarbete 2009.