Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (31): 96-99.
• 产品、研发、测试 • Previous Articles Next Articles
HU Qi-min1,2,XUE Jin-yun1,2
Received:
Revised:
Online:
Published:
Contact:
胡启敏1,2,薛锦云1,2
通讯作者:
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．
摘要： 用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的优缺点。
HU Qi-min1,2,XUE Jin-yun1,2. Comparison of formal methods：Designware,B[J]. Computer Engineering and Applications, 2007, 43(31): 96-99.
胡启敏1,2,薛锦云1,2. 形式化方法Designware、B的比较[J]. 计算机工程与应用, 2007, 43(31): 96-99.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2007/V43/I31/96
