Notation Z

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…