Crochet droit de liaison de la notation Z

Il ferme une liaison Z. Une liaison rassemble des éléments nommés et leurs valeurs ou déclarations dans un seul objet structuré.

Son signe ouvrant correspondant est ⦉ ; ensemble, ils marquent le début et la fin de cet objet dans une expression formelle.

Quand la notation Z s’est-elle développée ?

Dans les années 1970 et 1980. La notation Z est issue de la théorie des ensembles, qui étudie les collections, et de la logique des prédicats, qui étudie les énoncés sur des objets. Elle est devenue une méthode formelle pour spécifier des logiciels et d’autres systèmes discrets.