Jean-Raymond Abrial

Jean-Raymond Abrial (born 1938)[1] is a French computer scientist and inventor of the Z and B formal methods.[2]

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 (now Oxford University Department of Computer Science), 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.[3] For much of his career he has been an independent consultant,[4] as much at home working with industry as academia. Latterly, he became a Professor at ETH Zurich in Switzerland.[5]

References
  1. 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.
  2. "Jean-Raymond Abrial". DBLP. Retrieved 2020-12-25.
  3. Jean-Raymond Abrial (1996). The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press. ISBN 0-521-49619-5.
  4. "Academy of Europe: Abrial Jean-Raymond". www.ae-info.org. Retrieved 2020-05-17.
  5. 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.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.