摘要： 用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。

关键词: 形式化方法B, 程序规约, 抽象机, 程序设计

Abstract: Developing software using formal method is a revolutionary way to develop software reliability and efficiency, and is key to realize software automation. This paper introduces the outline about formal method B, analyses its program specification principle and uses it to solve a detailed problem. Finally, conclusion and further research are given.

中图分类号: 

• TP311