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. For much of his career he has been an independent consultant, as much at home working with industry as academia. Latterly, he became a Professor at ETH Zurich in Switzerland.
- Jean-Raymond Abrial (1996). The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press. ISBN 0-521-49619-5.
- Abrial, Jean-Raymond (22 August 2005). "Managing the Construction of Large Computerized Systems". Department of Computer Science, ETH Zurich, Switzerland. Retrieved September 26, 2011.
- 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
|This article about a French computer specialist is a stub. You can help Wikipedia by expanding it.|