|
|||||
|
|
| 基于构件技术和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: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |