| 需求工程的形式化方法 |
| |
| 引用本文： | 王聪.需求工程的形式化方法[J].军事通信技术,2008(1). |
| |
| 作者姓名： | 王聪 |
| |
| 作者单位： | 解放军理工大学通信工程学院电子信息工程系; |
| |
| 摘 要： | 从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。
|
| 关 键 词： | 需求工程 形式化方法 建模语言 形式化验证 |
Formal Method of Requirement Engineering |
| |
| WANG Cong.Formal Method of Requirement Engineering[J].Journal of Military Communications Technology,2008(1). |
| |
| Authors: | WANG Cong |
| |
| Institution: | WANG Cong (Department of Electronic Information Engineering ICE,PLAUST,Nanjing 210007,China) |
| |
| Abstract: | Based on the basic concept of Requirement Engineering (RE),some concepts of the lift cycle model of RE and RE methodology were presented in this paper.The importance of introducing the formal method into RE was discussed based on the definition and characters of RE.The degree of formalization of RE was improved in two ways,requirements modeling language and formal verification technology.A principle of choosing formal methods was also provided.Finally,some characters of the modeling language were introduced... |
| |
| Keywords: | requirement engineering formal method modeling language formal verification |
| 本文献已被 CNKI 等数据库收录！ |
|
