Jean-raymond abrial

Jean-raymond abrial

Jean-Raymond Abrial

Page d'aide sur l'homonymie 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 formelle Z et par la suite de la méthode de spécification formelle B (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 par la nouvelle mouture de celle-ci le "B #" (B Sharp) avec le projet Rodin.

Voir aussi

Bibliographie

  • 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
  • Portail de l’informatique Portail de l’informatique
Ce document provient de « Jean-Raymond Abrial ».

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 — (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

  • Jean-Raymond Abrial — 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… …   Wikipédia en Français

  • 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”