10.3969/j.issn.1673-629X.2007.07.008
基于B方法的组件开发
现有的组件开发技术的规格说明是非形式化的,这导致了逻辑的非严密性和理解的歧义性,将会严重影响组件复用的效率.B方法是形式化方法之一,已经有功能强大的工具支持软件的形式化开发过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性.为此,将B方法应用于学生信息管理系统的开发,提供了学生组件从需求规格说明、精化到最终实现的开发过程.通过对这一实例的研究可以看出,B方法增强了组件的规范性,对于提高组件复用的可靠性有重大的意义.
形式化方法、B方法、组件
17
TP311.52(计算技术、计算机技术)
国家自然科学基金70471046
2007-08-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
28-30,34