Les informations figurant dans cet article ou cette section doivent être reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » ().
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
La notation Z a été créée par Jean-Raymond Abrial. Elle est apparue pour la première fois dans le manuel Méthodes de programmation. Seules, des notes de Jean-Raymond Abrial, internes à EDF, utilisaient cette notation. Son manuel faisait suite à l'article, publié en 1974, intitulé Data Semantics in Data Base Management.
En 1983, Delobel et Adiba utilisent la notation Z d'origine dans leur livre Bases de données et systèmes relationnels. Sous le nom de « modèle relationnel binaire », elle leur sert à introduire le « modèle relationnel n-aire » de Ted Codd. La notation graphique NIAM (Nijssen Information Analysis Method) développée au sein de Control Data à Bruxelles utilise ce modèle relationnel binaire.
La première norme internationale (ISO) sur la notation Z a été publiée en .
Une spécification en Z est un prédicat structuré en schémas. La spécification de l'invariant et la spécification des opérations ont la forme d'un prédicat.
La notation Z utilise :
En français, trois livres sur Z.
