Jean-Raymond Abrial

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Abrial.

Jean-Raymond Abrial, né le 6 novembre 1938, est un informaticien français, qui fut professeur à l'École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et par la suite de la méthode B (voir méthodes formelles). Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.

Il a également fait partie de l'équipe qui a conçu la première version du langage de programmation Ada.

Il est aujourd'hui intéressé par la version événementielle de sa méthode et le développement d'un nouvel outil support avec le projet de recherche européen Rodin.

Bibliographie[modifier | modifier le code]

Ouvrage de référence sur l'utilisation d'Event-B (extension de B) pour la conception formelle de système.
Ouvrage fondateur de la méthode B
  • Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1997

Voir aussi[modifier | modifier le code]

Liens externes[modifier | modifier le code]