Jean-Raymond Abrial, né le à Versailles et mort le à MarseilleRelevé des fichiers de l'Insee, 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 SOCRATEGeorges Gardarin, Michel Scholl Une rétrospective de la recherche en base de données au travers de 25 ans de Publications BDA.. 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.
Références
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 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 Ouvrage fondateur de la méthode B. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1997
Liens externes
Catégorie:Naissance en novembre 1938 Catégorie:Naissance en Seine-et-Oise Catégorie:Naissance à Versailles Catégorie:Élève de l'École polytechnique Catégorie:Informaticien français Catégorie:Personnalité en méthodes formelles Catégorie:Personnalité en langages de programmation Catégorie:Enseignant à l'École polytechnique fédérale de Zurich Catégorie:Membre de l'Academia Europaea Catégorie:Décès à 86 ans Catégorie:Décès dans le 5e arrondissement de Marseille Catégorie:Décès en mai 2025