基于构件技术和B方法的形式化需求分析  

Formalized requirement analysis based on the component technology and method-B

作　　者：梁树军[1] 张志锋[1] 邓璐娟[1] 

机构地区：[1]郑州轻工业学院计算机与通信工程学院,河南郑州450002

出　　处：《郑州轻工业学院学报（自然科学版）》2009年第5期48-50,72,共4页Journal of Zhengzhou University of Light Industry:Natural Science

基　　金：河南省教育厅自然科学基金项目(0411010500);河南省新世纪优秀人才支持项目(2005HANCET-03)

摘　　要：采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.A formal requirement analysis approach for enterprise information system was adopted which based on component technology and B method.The formal description for the informal requirement analysis according to the component methodology could find the inconsistency,incompleteness and the elimination of ambiguity embedded in the software requirement analysis,the insufficiency of traditional approach can be solved by this approach and the quality and the efficiency of the system requirement analysis were greatly improved.

关 键 词：构件 B方法 形式化 需求分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]