-
题名半形式化需求说明语言的设计及应用
被引量：1
- 1
-
-
作者
郑善宇
庄成三
-
机构
四川大学计算机系
-
出处
《计算机应用》
CSCD
北大核心
2002年第1期78-79,81,共3页
-
文摘
针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。
-
关键词
半形式化需求说明语言
软件开发
CAFEOBJ语言
数据库
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于企业流程的需求形式化说明语言
- 2
-
-
作者
郑跃斌
-
机构
北京华夏新达软件股份有限公司
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第27期227-229,232,共4页
-
文摘
需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。
-
关键词
企业流程
需求说明
形式化语言
-
Keywords
Business process,Requirements specification,Formal specification language
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名计算机联锁软件的Z规格说明
被引量：8
- 3
-
-
作者
王铁江
郦萌
-
机构
同济大学计算机科学与工程系
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2003年第4期62-66,共5页
-
基金
铁道部科技研究开发计划项目(2002X007)
-
文摘
计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。
-
关键词
形式化规格说明
Z语言
安全需求
计算机联锁
铁路信号
-
Keywords
formal specification
Z language
safety requirement
computer interlocking
railway signaling
-
分类号
U284
[交通运输工程—交通信息工程及控制]
-
