Jean-Raymond Abrial | |
|---|---|
| Born | (1938-11-06)November 6, 1938 (age 86) |
| Nationality | French |
| Alma mater | École Polytechnique |
| Known for | Z notation,B-Method |
| Awards | Member of theAcademia Europaea (2006) |
| Scientific career | |
| Fields | Computer science,software engineering,formal methods |
| Institutions | Oxford University Computing Laboratory,ETH Zurich |
| Patrons | Tony Hoare |
Jean-Raymond Abrial (born 6 November 1938)[1] is a French computer scientist and inventor of theZ andBformal methods.[2]
Abrial was a student at theÉcole Polytechnique (class of 1958).
Abrial's 1974 paperData Semantics[3] laid the foundation for a formal approach toData Models; although not adopted directly by practitioners, it directly influenced all subsequent models from theEntity-Relationship Model through toRDF.
J.-R. Abrial is the father of theZ notation (typically used forformal specification of software), during his time at theProgramming Research Group under Prof.Tony Hoare within the Oxford University Computing Laboratory (nowOxford University Department of Computer Science), arriving in 1979 and sharing an office and collaborating withCliff Jones.[4] He later initiated theB-Method, with better tool-basedsoftware development support forrefinement from a high-levelspecification to an executableprogram, including theRodin tool. These are two importantformal methods approaches forsoftware engineering. He is the author ofThe B-Book: Assigning Programs to Meanings.[5] For much of his career he has been an independent consultant.[6] He was aninvited professor atETH Zurich from 2004 to 2009.[7]
Abrial was elected to be a Member of theAcademia Europaea in 2006.[6]
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This article about a French computer specialist is astub. You can help Wikipedia byexpanding it. |