形式化方法Designware、B的比较  

Comparison of formal methods:Designware,B.

作　　者：胡启敏[1] 薛锦云[1] 

机构地区：[1]江西师范大学瑶湖校区计算机信息工程学院

出　　处：《计算机工程与应用》2007年第31期96-99,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60273092);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2003CCA02800);江西师范大学青年成长基金

摘　　要：用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的优缺点。Developing software with formal methods is a revolutionary way to improve software reliability and efficiency.Formal methods-Designware,B method can support the whole software development process.Provides a comparison of their specification, refinement,developing steps and analyses their strengths and weaknesses.

关 键 词：形式化方法 Designware B方法 规约 求精 

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