使用Object-Z获取形式需求

• 作者: 朱彬 王娜 王帅
• 来源期刊: 计算机辅助工程
• 学科: 工学
• 关键词: 统一过程 UML 形式方法 Object-Z
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 计算机与信息管理
• 页码范围: 87-90
• 页数: 4页
• 分类号: TP311.52
• 字数: 3528字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-0871.2008.01.021

摘要

针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题,使用统一过程建立用UML描述的需求模型并对其进行形式化,获得用Object-Z描述形式需求说明的方法和步骤,并结合实例进行论述. 提出利用形式方法验证和确认非形式需求规格说明的过程. 该研究为验证和确认非形式规格说明提供1种有效方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱彬	上海第二工业大学计算机与信息学院	17	134	5.0	11.0
2	王帅	上海第二工业大学计算机与信息学院	13	84	6.0	8.0
3	王娜	上海水产大学爱恩学院	5	21	3.0	4.0