形式化方法B及其程序规约机理  

Formal Method B and Its Program Specification Theory

作　　者：肖美华[1] 薛锦云[1] 

机构地区：[1]江西师范大学计算机科学系

出　　处：《计算机工程》2004年第16期16-18,50,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60273092);江西省自然科学基金资助项目(0411041)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]