| 需求分析的 Z 语言形式化方法 |
| |
| 引用本文： | 夏建勋,唐红武.需求分析的 Z 语言形式化方法[J].科学技术与工程,2008,8(8):2245-2248. |
| |
| 作者姓名： | 夏建勋 唐红武 |
| |
| 作者单位： | 1. 孝感学院计算机科学系,孝感,432000
2. 桂林电子科技大学数学与计算科学学院,桂林,541004 |
| |
| 摘 要： | 非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方.
|
| 关 键 词： | 软件工程 需求分析 Z 语言 Z 模式 形式化方法 |
| 修稿时间： | 2008年1月2日 |
Formal Method for Requirement Analysis Using Z Notation |
| |
| XIA Jian-xun,TANG Hong-wu.Formal Method for Requirement Analysis Using Z Notation[J].Science Technology and Engineering,2008,8(8):2245-2248. |
| |
| Authors: | XIA Jian-xun TANG Hong-wu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
| 点击此处可从《科学技术与工程》下载免费的PDF全文 |
|
