Jean-raymond abrial
- Jean-raymond abrial
-
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 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
Catégories : Personnalité française en informatique | Personnalité en méthodes formelles | Personnalité en langages de programmation
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