基于构件技术和B方法的形式化需求分析 |
| |
引用本文: | 梁树军,张志锋,邓璐娟. 基于构件技术和B方法的形式化需求分析[J]. 郑州轻工业学院学报(自然科学版), 2009, 24(5): 48-50,72 |
| |
作者姓名: | 梁树军 张志锋 邓璐娟 |
| |
作者单位: | 郑州轻工业学院计算机与通信工程学院,河南郑州,450002 |
| |
基金项目: | 河南省教育厅自然科学基金项目,河南省新世纪优秀人才支持项目 |
| |
摘 要: | 采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.
|
关 键 词: | 构件 B方法 形式化 需求分析 |
Formalized requirement analysis based on the component technology and method-B |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 维普 万方数据 等数据库收录! |
|