Jean-Raymond Abrial

Jean-Raymond Abrial

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 Oxford University Computing Laboratory, and later the B-Method (normally used for software development), two leading formal methods for software engineering. He is the author of "The B-Book: Assigning Programs to Meanings" (ISBN 0-521-49619-5). For much of his career he has been an independent consultant, as much at home working with industry as academia. Currently he is a Professor at ETH Zurich in Switzerland.

External links

* [http://www.inf.ethz.ch/people/faculty/detail?id=1&lang=en Home page]
*
* [http://www.jpbowen.com/publications/thes-b.html Review of "The B-Book"]
*" [http://www.inf.ethz.ch/news/focus/res_focus/feb_2005 Managing the Construction of Large Computerized Systems] " — article


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

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