Jean-Raymond Abrial
From Wikipedia, the free encyclopedia
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. Latterly, he became a Professor at ETH Zurich in Switzerland.[1]
[edit] References
- ^ Abrial, Jean-Raymond (22 August 2005). "Managing the Construction of Large Computerized Systems". Department of Computer Science, ETH Zurich, Switzerland. http://www.inf.ethz.ch/news/focus/res_focus/feb_2005. Retrieved September 26, 2011.
[edit] External links
- List of publications from the DBLP Bibliography Server.
- Review of The B-Book 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 computer specialist of France is a stub. You can help Wikipedia by expanding it. |
