Z++

Z ++ (pronunțat Zed, sau Zee în pronunția americană, plus plus) este o extensie orientată pe obiecte la limba de specificații Z.

Z ++ permite definiția claselor și relația claselor prin moștenire, asociere sau agregare.

Construcția primară a Z ++ este o clasă.

O clasă Z ++ este formată dintr -o serie de clauze care sunt opționale.