Jean-Raymond Abrial
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant l’informatique.
| Naissance | |
|---|---|
| Décès | |
| Nom de naissance |
Jean-Raymond François Dominique Abrial |
| Nationalité | |
| Formation | |
| Activités | |
| Père |
Raymond Louis Marie Abrial (d) |
| A travaillé pour |
École polytechnique fédérale de Zurich Institut d'informatique et mathématiques appliquées de Grenoble Department of Computer Science, University of Oxford (en) |
|---|---|
| Membre de |
The B-Book (d) |
Jean-Raymond Abrial, né le à Versailles et mort le à Marseille[1],[2], est un informaticien français. Ancien élève de l'École polytechnique (promotion 1958), il est 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), puis Event-B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.
En 1968, il réalise le système de base de données SOCRATE[3]. Il a fait partie de l'équipe qui a conçu la première version du langage de programmation Ada.
Il s'intéresse à la version événementielle de sa méthode et au développement d'un nouvel outil support avec le projet de recherche européen Rodin.
