Jean-Raymond Abrial
| Naissance | |
|---|---|
| Décès |
(à 86 ans) 5e arrondissement de Marseille |
| 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 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), 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éressait dernièrement[Quand ?] à 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.
Références
- ↑ Relevé des fichiers de l'Insee
- ↑ « Passing of Jean-Raymond Abrial | Lobsters », sur lobste.rs (consulté le )
- ↑ Georges Gardarin, Michel Scholl Une rétrospective de la recherche en base de données au travers de 25 ans de Publications BDA.
Bibliographie
- Data Semantics in DATA BASE MANAGEMENT Proc 1974 IFIP TC-2 Conference Cargese, Corsica 1974
- Modeling in Event-B, System and Software Engineering Cambridge University Press, Cambridge, 2010 (ISBN 978-0-521-89556-9)
- Ouvrage de référence sur l'utilisation d'Event-B (extension de B) pour la conception formelle de systèmes.
- The B-Book: Assigning Programs to Meanings, Cambridge University Press, Cambridge, 1996 (ISBN 0521496195)
- Ouvrage fondateur de la méthode B.
- Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1997
Liens externes
- Ressources relatives à la recherche :
- Portail de la programmation informatique