计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (31): 96-99.
• 产品、研发、测试 • 上一篇 下一篇
胡启敏1,2,薛锦云1,2
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
HU Qi-min1,2,XUE Jin-yun1,2
Received:
Revised:
Online:
Published:
Contact:
摘要： 用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。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．
胡启敏1,2,薛锦云1,2. 形式化方法Designware、B的比较[J]. 计算机工程与应用, 2007, 43(31): 96-99.
HU Qi-min1,2,XUE Jin-yun1,2. Comparison of formal methods：Designware,B[J]. Computer Engineering and Applications, 2007, 43(31): 96-99.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/
http://cea.ceaj.org/CN/Y2007/V43/I31/96
