基于构件的信息系统形式化需求分析方法的研究  

Research on Formalization Requirement Analysis Methord Based on Component

作　　者：姚全珠[1] 张志锋[1] 任雪利[1] 张作鹏[2] 

机构地区：[1]西安理工大学计算机科学与应用学院,西安710048 [2]西安交通大学电气工程学院,西安710049

出　　处：《计算机工程与应用》2005年第18期176-178,232,共4页Computer Engineering and Applications

基　　金：陕西省自然科学基金(编号:2001X20);陕西省教育厅专项科研基金(编号:01JK227)的资助

摘　　要：提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。This paper proposes a kind of formalization requirement analysis method of information system based on component,which can eliminate the ambiguity and fragmentariness.The efficiency and quality of system analysis can be greatly improved and solid foundation has been laid for the next phase by using this method.And this method has been preliminarily used in our last work and satisfied results have been obtained.

关 键 词：形式化 需求分析 信息系统 构件 

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