| 软件需求获取形式化的案例研究 |
| |
| 引用本文： | 邹盛荣,彭昱静,郭忠伟,刘春秋,周塔,卫丽,顾爱华. 软件需求获取形式化的案例研究[J]. 现代电子技术, 2009, 32(12) |
| |
| 作者姓名： | 邹盛荣 彭昱静 郭忠伟 刘春秋 周塔 卫丽 顾爱华 |
| |
| 作者单位： | 扬州大学,信息工程学院,江苏,扬州,225009 |
| |
| 摘 要： | 软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.
|
| 关 键 词： | 需求获取 用例驱动 B方法 形式化需求 |
Case Study of Acquiring Formal Software Requirement |
| |
| ZOU Shengrong,PENG Yujing,GUO Zhongwei,LIU Chunqiu,ZHOU Ta,WEI Li,GU Aihua. Case Study of Acquiring Formal Software Requirement[J]. Modern Electronic Technique, 2009, 32(12) |
| |
| Authors: | ZOU Shengrong PENG Yujing GUO Zhongwei LIU Chunqiu ZHOU Ta WEI Li GU Aihua |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
