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

摘要：

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

关键词： 笛卡尔积 自动转换 自然语言 语言描述 规格说明 程序语言 数据类型

作者: 文欣

作者单位: 泉州仰恩大学计算机学院,362014

会议类型: 国内会议

会议名称: 中国通信学会第五届学术年会

会议地点: 南京

会议语种:中文

页码: 20-23

在线出版日期: 2008-02-01（万方平台首次上网日期，不代表论文的发表时间）