| 词条 | Jean-Raymond Abrial |
| 释义 |
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.[1] 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.[2] References1. ^{{cite book | author=Jean-Raymond Abrial | title=The B-Book: Assigning Programs to Meanings| publisher=Cambridge University Press | location=Cambridge|isbn=0-521-49619-5 | year=1996}} 2. ^{{cite web | url=http://www.inf.ethz.ch/news/focus/res_focus/feb_2005 | title=Managing the Construction of Large Computerized Systems | publisher=Department of Computer Science, ETH Zurich, Switzerland | date=22 August 2005 | accessdate=September 26, 2011 | author=Abrial, Jean-Raymond}} External links
10 : 1938 births|Living people|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|ETH Zurich faculty |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。