La notation Z a été créée par Jean-Raymond Abrial. Z est apparu pour la première fois dans un livre, lors de l`édition en 1980 de l`ouvrage de Meyer et Baudouin, Méthodes de programmation, Eyrolles. Il n`existait alors que des notes de Jean-Raymond Abrial, internes à EDF. Elles faisaient ...