欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方法之一，已经有功能强大的工具支持软件的形式化开发过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此，将B方法应用于学生信息管理系统的开发，提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出，B方法增强了组件的规范性，对于提高组件复用的可靠性有重大的意义。
英文摘要：
The fact that current specifications of component development are unformal results in logical non - rigor and comprehensive ambiguity, and it will affect the efficiency of components＇ reusing seriously. B method is one of formal methods, which supports the software development by the strong tool and guarantee the correctness of software＇ s design and code via strict deduction and certification. For this reason, this paper applies B method to the development of student information management system. This method provides the developing procedure of student component that ranges from abstract specifications to the implementatlons. Through the research on this ease, conclude that B method improves the formalization of specification and reliability of components＇ reusing .
同期刊论文项目
同项目期刊论文
期刊信息
位置：