计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (31): 96-99.

• 产品、研发、测试 • 上一篇    下一篇

形式化方法Designware、B的比较

胡启敏1,2,薛锦云1,2   

  1. 1.江西师范大学 瑶湖校区 计算机信息工程学院,南昌 330022
    2.中国科学院 软件研究所 计算机科学重点试验室,北京 100080
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-11-01 发布日期:2007-11-01
  • 通讯作者: 胡启敏

Comparison of formal methods:Designware,B

HU Qi-min1,2,XUE Jin-yun1,2   

  1. 1.School of Computer Information and Engineering,Jiangxi Normal University,Nanchang 330022,China
    2.Institute of Software,Chinese Academy of Sciences,Beijing 100080,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-11-01 Published:2007-11-01
  • Contact: HU Qi-min

摘要: 用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的优缺点。

Abstract: 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.