摘要
用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。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.
出处
《计算机工程与应用》
CSCD
北大核心
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)
江西师范大学青年成长基金
