Parentesi destra di legame della notazione Z

Chiude un legame della notazione Z. Un legame riunisce elementi con nome e i valori o le dichiarazioni associati in un unico oggetto strutturato.

Il segno di apertura corrispondente è ⦉; insieme indicano dove l’oggetto inizia e finisce in un’espressione formale.

Quando si è sviluppata la notazione Z?

Negli anni Settanta e Ottanta. La notazione Z si sviluppò dalla teoria degli insiemi, che studia le collezioni, e dalla logica dei predicati, che studia le affermazioni sugli oggetti. Divenne un metodo formale per specificare software e altri sistemi discreti.