文章基本信息

标题：Formal Methods: Theory Becoming Practice
作者：Jean-Raymond Abrial
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2007
卷号：13
期号：5
页码：619-628
出版社：Graz University of Technology and Know-Center
摘要：This paper gives a tutorial introduction to the ideas behind system development usingthe B-Method. Properly handled, the crucial relationship between requirements and formal model leads to systems that are correct by construction. Some industrial successes are outlined.