Jean-Raymond Abrial
Jean-Raymond Abrial, actuellement (2005) professeur à l'École polytechnique fédérale de Zurich, est connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et de la méthode de spécification formelle B. Il a d'ailleurs participé à la spécification du langage B, ainsi qu'a l'implémentation de la suite d'outils utilisant cette méthode.
Il est aujourd'hui intéressé par les systèmes événementiels.
Voir aussi
Bibliographie
- The B Book, Assigning Programs to Meanings, Cambridge University Press, Cambridge, 1996 (considéré comme la référence sur la méthode B)
- Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1997
| Image manquante Symbole-ordinateur.png | Cet article est une ébauche concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |