半形式化需求说明语言的设计及应用

针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。

基于企业流程的需求形式化说明语言

需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。

基于Z语言的形式化需求分析

介绍了形式化方法和形式化规格说明语言Z语言,利用Z语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能.利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从而进行规范化管理.

基于逻辑系统的用户需求功能规格说明语言及其应用

在基于谓词逻辑对知识的表示的基础上 ,用Unity逻辑系统对其加以扩充 ,形成一个小型的用户需求功能规格说明语言 (SmallproblemSpecificationLanguage) 。

形式化方法——Z语言在西瓜棋中应用的研究

Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。