Z形式规约的自动求精研究

　　《Z形式规约的自动求精研究》叙述简明清晰，逻辑性强，可作为高等学校相关专业研究生和从事形式语言研究、大型软件形式化开发与应用的专业人员参考。 Z形式规约是一种世界上广泛使用的软件规格说明语言，在软件开发的需求规格说明阶段和软件设计阶段都可以使用，对于提高大型软件质量、验证软件设计正确性等方面具有非常重要的意义。由于Z是以集合论和一阶逻辑为基础，是设计用来给人看的而不能由机器执行。将Z转换成高级语言需要专业的数学知识，而且对于大型软件，转换过程极易出错。Z的机器可执行性已经引起世界范围的关注，但目前还不能直接从Z语言自动生成应用程序，Z到可执行代码的转换主要由人工完成。《Z形式规约的自动求精研究》指出了Z语言求精方法对于自动生成应用程序的不足，提出了对Z规格说明做一定限制后的Smart Z自动求精为C++和STL方法。

暂缺《Z形式规约的自动求精研究》作者简介

第1章 Z形式规约
1.1 软 件开发的形式化方法
1.2 Z形式规约的类型
1.3 Z形式规约的构造单元
1.4 Z形式规约的关系和函数
1.5 Z形式规约求精技术
第2章 ++标准模板库STL
　2.1 STL简介
　2.2 STL基本结构
　2.3 容器
　2.4 迭代器
　2.5 算法
　2.6 其他组件
第3章 Z形式规约的精简—Smart Z
　3.1 概述
　3.2 Z形式规约的类型约束
　3.3 Z形式规约的谓词约束
　3.4 Z形式规约的精简
第4章 Smart Z的自动求精
　4.1 Smart Z的词法分析
　4.2 Smart Z的语法分析
　4.3 Smart Z的语义分析
　4.4 Smart Z的自动求精转换器
第5章 一阶逻辑算子的自动求精
　5.1 一阶逻辑
　5.2 一阶逻辑算子的自动求精步骤
　5.3 表达式处理
　5.4 Smart Z的量词与连接词的自动求精
　5.5 一阶逻辑算子的目标代码生成
　5.6 一个模式求精实例
第6章 集合论算子的自动求精
　6.1 集合类型的声明
　6.2 目标代码中的集合操作
　6.3 集合论算子到中间代码的转换
　6.4 采用模板及重载技术设计Smart Z中集合论算子的求精
　6.5 集合论算子自动求精实例
第7章 幂集算子的自动求精
　7.1 幂集类型
　7.2 广义表
　7.3 单层幂集的自动求精
　7.4 多层嵌套幂集的自动求精
　7.5 幂集的自动求精实例
第8章 笛卡儿积的自动求精
　8.1 笛卡儿积的声明
　8.2 笛卡儿积的数据求精
　8.3 笛卡儿积的过程求精48
　8.4 笛卡儿积的自动求精实例
第9章 关系和函数的自动求精
　9.1 序偶与关系
　9.2 关系操作与自动求精
　9.3 函数操作与自动求精
第10章 序列和包的自动求精
　10.1 序列和包
　10.2 序列操作的自动求精
　10.3 包操作的自动求精
　10.4 序列和包的自动求精实例
附录1 Z语法
附录2 Smart Z词法
附录3 Smart Z的词法
附录4 Smart Z语法
附录5 Smart Z语法的部分SI-NS图
附录6 部分Smart Z算子的函数模板
参考文献