French
DeutschJean-Raymond Abrial — Wikipédia
Pour les articles homonymes, voir Abrial.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités | |
| Père | Raymond Louis Marie Abrial (d) |
| A travaillé pour | |
|---|---|
| Membre de |
Jean-Raymond Abrial, né le , 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). Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.
En 1968, il réalisé le système de base de données SOCRATE[1]. Il 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.
Références
[modifier | modifier le code]- Georges Gardarin, Michel Scholl Une rétrospective de la recherche en base de données au travers de 25 ans de Publications BDA.
Bibliographie
[modifier | modifier le code]- 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
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Have we learned from the Wasa disaster (vidéo)
- « Publications de Jean-Raymond Abrial »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)
- La famille polytechnicienne
