| 使用Object-Z获取形式需求 |
| |
| 引用本文： | 朱彬,王帅,王娜.使用Object-Z获取形式需求[J].计算机辅助工程,2008,17(1):87-90. |
| |
| 作者姓名： | 朱彬 王帅 王娜 |
| |
| 作者单位： | 1. 上海第二工业大学,计算机与信息学院,上海,201209
2. 上海水产大学,爱恩学院,上海,201300 |
| |
| 基金项目： | 上海市教委资助项目
,
上海市高校优秀青年教师后备人选科研项目 |
| |
| 摘 要： | 针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题,使用统一过程建立用UML描述的需求模型并对其进行形式化,获得用Object-Z描述形式需求说明的方法和步骤,并结合实例进行论述. 提出利用形式方法验证和确认非形式需求规格说明的过程. 该研究为验证和确认非形式规格说明提供1种有效方法.
|
| 关 键 词： | 统一过程 UML 形式方法 Object-Z |
| 文章编号： | 1006-0871（2008）01-0087-04 |
| 收稿时间： | 2007-01-05 |
| 修稿时间： | 2007-03-05 |
Acquiring formal requirements using Object-Z |
| |
| ZHU Bin,WANG Shuai,WANG Na.Acquiring formal requirements using Object-Z[J].Computer Aided Engineering,2008,17(1):87-90. |
| |
| Authors: | ZHU Bin WANG Shuai WANG Na |
| |
| Affiliation: | ZHU Bin1,WANG Shuai1,WANG Na2(1.School of Computer & Info.,Shanghai Second Polytechnic Univ.,Shanghai 201209,China,2.IEN Institute,Shanghai Fisheries Univ.,Shanghai 201300,China) |
| |
| Abstract: | |
| |
| Keywords: | unified process UML formal method Object-Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
