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 (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 (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]

References

↑ Abrial, Jean-Raymond (22 August 2005). "Managing the Construction of Large Computerized Systems". Department of Computer Science, ETH Zurich, Switzerland. Retrieved September 26, 2011.

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

Authority control	WorldCat VIAF: 56763534 LCCN: n96095026 ISNI: 0000 0001 1648 8192 BNF: cb13489775x

Persondata
Name	Abrial, Jean-Raymond
Alternative names
Short description	Computer scientist
Date of birth	1938
Place of birth	France
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.