期刊文章详细信息
使用Object-Z获取形式需求
Acquiring formal requirements using Object-Z
文献类型：期刊文章
机构地区：[1]上海第二工业大学计算机与信息学院,上海201209 [2]上海水产大学爱恩学院,上海201300
基 金：上海市教育委员会科研项目(06RZ017);上海高校选拔培养优秀青年教师科研基金
年 份：2008
卷 号：17
期 号：1
起止页码：87-90
语 种：中文
收录情况：CSA、CSA-PROQEUST、IC、INSPEC、普通刊
摘 要：针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题,使用统一过程建立用UML描述的需求模型并对其进行形式化,获得用Object-Z描述形式需求说明的方法和步骤,并结合实例进行论述.提出利用形式方法验证和确认非形式需求规格说明的过程.该研究为验证和确认非形式规格说明提供1种有效方法.
关 键 词：统一过程 UML 形式方法 OBJECT-Z
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
