Jean-Raymond Abrial

Jean-Raymond Abrial
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

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

Liens externes



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Jean-Raymond Abrial de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Jean-raymond abrial — Pour les articles homonymes, voir Abrial. Jean Raymond Abrial est un informaticien français, actuellement professeur à l École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation… …   Wikipédia en Français

  • Jean-Raymond Abrial — (born 1938) is a French computer scientist and inventor of the Z and B formal methods.J. R. Abrial is the father of the Z notation (typically used for formal specification of software), during his time at the Programming Research Group within the …   Wikipedia

  • Abrial — is a surname and may refer to:* André Joseph Abrial (1750 1828), French politician * Comte André Pierre Etienne Abrial (born 1783), general police chief in Lyon under Napoleon I * Jean Marie Charles Abrial (1879 1962), French admiral during World …   Wikipedia

  • Abrial — ist der Familienname folgender Personen: Gaëtane Abrial (* 1988), französische Sängerin Jean Raymond Abrial (* 1938), französischer Informatiker Stéphane Abrial (* 1954 ), französischer General Diese Seite ist eine Begriff …   Deutsch Wikipedia

  • Abrial —  Cette page d’homonymie répertorie des personnes (réelles ou fictives) partageant un même patronyme. André Joseph Abrial (1750 1828), un homme politique français ; André Pierre Étienne Abrial, Comte (1783  ??), fils du précédent,… …   Wikipédia en Français

  • Jean Bichelonne — Jean Bichelonne, né à Bordeaux en 1904 et mort à la clinique SS de Hohenlychen (Brandebourg) le 21 décembre 1944, est un technocrate et homme politique français, ministre du gouvernement de Vichy (1942 1944) et partisan de la… …   Wikipédia en Français

  • Jean Jardel — né à Terrasson le 24 novembre 1897, décédé à Terrasson le 10 décembre 1981, homme politique français. Secrétaire général à la vice présidence du conseil à partir du 5 septembre 1941 au 18 avril 1942 dans le Gouvernement Darlan. Secrétaire général …   Wikipédia en Français

  • Jean Terray — Jean Pierre Terray comte né à Paris le 28 juillet 1906, décédé à Neuvy (Allier) le 10 juillet 1980, chef des services financiers, directeur général des sociétés nationales de construction aéronautique et homme politique… …   Wikipédia en Français

  • Jean-François Jannekeyn — né à Cambrai le 16 novembre 1892, général et homme politique français. Secrétaire d État à l Aviation du 19 avril 1942 au 28 mars 1943. Arrêté à Viroflay le 4 mai 1947, il bénéficie d un non lieu pour faits de résistance, le 27 janvier 1949.… …   Wikipédia en Français

  • Jean-Marie Charles Abrial — Pour les articles homonymes, voir Abrial. Jean Marie Charles Abrial, né le 17 décembre 1879 à Réalmont, mort le 19 décembre 1962 à Dourgne, est un amiral français et ministre de la marine du régime de Vichy de… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”