Jean-Raymond Abrial
Jean-Raymond Abrial | |
|---|---|
| Born | November 6, 1938 |
| Nationality | French |
| Alma mater | École Polytechnique |
| Known for | Z notation, B-Method |
| Awards | Member of the Academia 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 the Z and B formal methods.[2]
Abrial was a student at the École Polytechnique (class of 1958).
Abrial's 1974 paper Data Semantics[3] laid the foundation for a formal approach to Data Models; although not adopted directly by practitioners, it directly influenced all subsequent models from the Entity-Relationship Model through to RDF.
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 under Prof. Tony Hoare within the Oxford University Computing Laboratory (now Oxford University Department of Computer Science), arriving in 1979 and sharing an office and collaborating with Cliff Jones.[4] He later initiated the B-Method, with better tool-based software development support for refinement from a high-level specification to an executable program, including the Rodin tool. These are two important formal methods approaches for software engineering. He is the author of The B-Book: Assigning Programs to Meanings.[5] For much of his career he has been an independent consultant.[6] He was an invited professor at ETH Zurich from 2004 to 2009.[7]
Abrial was elected to be a Member of the Academia Europaea in 2006.[6]
See also
[edit]References
[edit]- ^ Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (2019-04-17). Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures. Springer. ISBN 978-3-030-17601-3.
- ^ "Jean-Raymond Abrial". DBLP. Retrieved 2020-12-25.
- ^ Jean-Raymond Abrial (1974). "Data Semantics". IFIP Working Conference Data Base Management.
- ^ Jones, Cliff; Roscoe, Bill (2010). Insight, inspiration and collaboration (PDF). Oxford University Department of Computer Science. Bibcode:2010rwch.book....1J. Retrieved 28 September 2023.
- ^ Jean-Raymond Abrial (1996). The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press. ISBN 0-521-49619-5.
- ^ a b "Academy of Europe: Abrial Jean-Raymond". www.ae-info.org. Retrieved 2020-05-17.
- ^ Abrial, Jean-Raymond (22 August 2005). "Managing the Construction of Large Computerized Systems". Department of Computer Science, ETH Zurich, Switzerland. Archived from the original on 26 September 2011. Retrieved September 26, 2011.
External links
[edit]- Jean-Raymond Abrial at DBLP Bibliography Server
- Review of The B-Book at the Wayback Machine (archived December 2, 2007) by Jonathan Bowen
- Managing the Construction of Large Computerized Systems — article
- Have we learned from the Wasa disaster (video) — talk by Jean-Raymond Abrial
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This article about a French computer specialist is a stub. You can help Wikipedia by expanding it. |
- 1938 births
- Living people
- École Polytechnique alumni
- French computer scientists
- Members of the Department of Computer Science, University of Oxford
- Formal methods people
- Z notation
- Computer science writers
- Software engineers
- Software engineering researchers
- Academic staff of ETH Zurich
- Members of Academia Europaea
- European computer specialist stubs