首页> 中文会议>中国通信学会第五届学术年会 >Z规格说明中笛卡尔积算子自动求精的研究与实现

Z规格说明中笛卡尔积算子自动求精的研究与实现

页面导航

摘要
著录项
相似文献
相关主题

摘要

采用自然语言描述的规格说明通常具有模糊性和二义性，为了克服这种缺陷，人们提出了形式化方法。Z是目前最为流行的一种形式规格说明语言，但由于Z本身缺少自己的编译环境，在工业界尚未达到广泛应用的程度，鉴于这个原因提出了Z向高级程序语言自动转化的思想。本文介绍了Z规格说明中的数据类型，主要研究了Z中笛卡尔积算子的自动求精。

著录项

来源
《中国通信学会第五届学术年会》|2008年|20-23|共4页
会议地点南京
作者
文欣;
展开▼
作者单位

中国通信学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类
关键词
Z规格说明; 笛卡尔积; 自动转换;

相似文献

中文文献
外文文献
专利

1. 机器辅助下的形式化规格说明求精技术 [J] . 袁晓东 ,郑国梁 . 计算机科学 . 1998,第006期
2. Z规格说明求精的正确性判定 [J] . 李刚 ,朱关铭 . 计算机科学 . 1997,第001期
3. 从规格说明到程序:逐步求精的形式描述 [J] . 过敏意 . 计算机研究与发展 . 1991,第003期
4. 从软件功能实例规格说明到软件功能形式规格说明的自动转换 [J] . 吕建 ,徐家福 . 软件学报 . 1992,第004期
5. 从功能规格说明到设计规格说明的自动转换 [J] . 徐家福 ,戴敏 . 计算机学报 . 1991,第002期
6. 基于Tableau方法的Z规格说明求精 [C] . 高晓雷 ,缪淮扣 . 2003'全国软件与应用学术会议 . 2003
7. Z规格说明中一阶逻辑算子自动求精的研究与实现 [A] . 王晓龙 . 2004

Z规格说明中笛卡尔积算子自动求精的研究与实现

摘要

著录项

相似文献

相关主题

期刊订阅