| 基于形式化方法的需求分析 |
| |
| 引用本文： | 塔维娜,何积丰.基于形式化方法的需求分析[J].计算机工程,2003,29(18):107-108,191. |
| |
| 作者姓名： | 塔维娜 何积丰 |
| |
| 作者单位： | 1. 华东师范大学计算机科学技术系,上海,200062
2. 华东师范大学计算机科学技术系,上海,200062;联合国大学国际软件技术研究所,澳门 |
| |
| 摘 要： | 利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。
|
| 关 键 词： | 需求分析 形式化方法 B方法 规范化管理 |
| 文章编号： | 1000-3428(2003)18-0107-02 |
Requirement Analysis Based on Formalized Method |
| |
| TA Weina,HE Jifeng.Requirement Analysis Based on Formalized Method[J].Computer Engineering,2003,29(18):107-108,191. |
| |
| Authors: | TA Weina HE Jifeng |
| |
| Affiliation: | TA Weina1,HE Jifeng1,2 |
| |
| Abstract: | The paper models software requirement in the form of formalized specification language B, develops software based on a precise mathematical framework in order to achieve better software performance. It is helpful to describe requirement with formal methods, which keeps the consistency, unambiguity and completeness. It also makes further and precise understanding of requirement, so as to manage it more standardfully. |
| |
| Keywords: | Requirement analysis Formal method B method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
