期刊文献+

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

Research on Formalization Requirement Analysis Methord Based on Component
下载PDF
导出
摘要 提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。 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.
出处 《计算机工程与应用》 CSCD 北大核心 2005年第18期176-178,232,共4页 Computer Engineering and Applications
基金 陕西省自然科学基金(编号:2001X20) 陕西省教育厅专项科研基金(编号:01JK227)的资助
关键词 形式化 需求分析 信息系统 构件 formalization,requirement analysis,information system,component
  • 相关文献

参考文献8

  • 1R G Dromey.Form Requirements to Design:Formalizlng the Key Steps [C].In:First International Conference on Software Engineering and Formal methods(SEEM'03),2003-09.
  • 2R E Kurt Stirewalt,Laura K Dillon.A Component Based Approach to Building Formal Analysis Tools[C].In:IEEE,2001-05.
  • 3J Expt,Formal Software development in Verification Support Environment(VSE)[J].Joumal of Experimental &Theoretical Artificial Intelligence. 2000;12.
  • 4Hinchey M,J Bowen.Application of Formal Method[M].Prentice-Hall,1996.
  • 5M yonder Beeck,T Margaria,B Steffen.A formal requirements engineering method for specification,synthesis,and verification[M].IEEE Computer Society, 1997.
  • 6D Andrews.Formal methods and software development[C].In:19th International Conference on Software Engineering.
  • 7Yan Jin,Charles Lakos,Robert Esser.Component-Based Design and Analysis:A Case Study[C].In:First International Conference on Software Engineering and Formal methods(SEEM'03),2003-09.
  • 8J Paul Gibson.Formal requirements models:simulation,validation and verification[R].Report:NUIMCS-2002-TR-02,National University of Ireland Maynooth.

同被引文献17

  • 1刘俊先,姜志平,罗爱民,罗雪山.指挥信息系统需求描述框架研究[J].军事运筹与系统工程,2006,20(4):48-51. 被引量:14
  • 2石建迈,余滨,沙基昌,段采宇.C^4ISR系统需求描述模式[J].火力与指挥控制,2007,32(7):15-18. 被引量:3
  • 3黄力.基于Statechart图的C^4ISR系统体系结构验证方法研究[D].长沙:国防科学技术大学博士学位论文,2004.
  • 4Arango G, Prieto-Diaz R. Domain Analysis Concepts and Research Directions[ C ]. Prieto-Diaz R, Arango G, eds. Domain Analysis and Software System Modeling. Los Alamitos : IEEE Computer Society Press, 1991 : 9-32.
  • 5方程.基于多视图方法论的装备保障作战需求规范化描述方法与工具研究[D].长沙:国防科学技术大学博士学位论文,2007.
  • 6Erich Gamma. Design Paterns-Elements of Reusable Ob- ject-Oriented Software [ C ]. International Conference on Software Engineering, 1989.
  • 7Stephen Withall. Software Requirement Patterns [ M ]. Washington USA : Microsoft Corporation,2002.
  • 8Mounia Fredj. A Pattern Based Approach for Requirements Engineering[ R]. International Conference on Software En- gineering, 2002.
  • 9International Workshop on Requirements Engineering Pat- tems-REP' 04 [ R ]. Kyoto, Japan: In Conjunction with RE04, the 12th IEEE International Requirements Engi- neering Conference, September 2004.
  • 10Lin, Mark S. Fox, Taner Bilgic. A Requirement Ontology for Engineering Design [ M ]. Proceedings of 3rd Interna- tional Conference on Concurrent Engineering, 1996.

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部