Z规格说明中集合论算子的自动求精研究及实现
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 1 绪论 | 第11-15页 |
| ·研究背景 | 第11-13页 |
| ·形式化方法 | 第11-12页 |
| ·形式规格说明 | 第12-13页 |
| ·研究意义 | 第13-15页 |
| ·自动求精思想的提出 | 第13-14页 |
| ·课题的提出 | 第14-15页 |
| 2 C++STL | 第15-19页 |
| ·STL简介 | 第15页 |
| ·STL基本结构 | 第15-19页 |
| ·容器(Containers) | 第16-18页 |
| ·算法(Algorithms) | 第18页 |
| ·迭代器(Iterators) | 第18-19页 |
| 3 Z规格说明 | 第19-25页 |
| ·研究动态 | 第19-20页 |
| ·Z规格说明的类型 | 第20-22页 |
| ·基本类型 | 第20页 |
| ·复合类型 | 第20-22页 |
| ·Z规格说明的构造单元 | 第22-25页 |
| ·Z的符号 | 第22-23页 |
| ·模式 | 第23-25页 |
| 4 Z规格说明中集合论算子求精规则的设计 | 第25-36页 |
| ·采用C++及STL设计Z数据类型的求精规则 | 第25-32页 |
| ·基本类型的声明 | 第26-27页 |
| ·变量的声明 | 第27-32页 |
| ·采用模板及重载技术设计Z中集合论算子的求精规则 | 第32-36页 |
| ·采用模板实现Z算子的自动求精 | 第32-33页 |
| ·运算符重载在Z算子自动求精中的应用 | 第33-34页 |
| ·Z中集合论算子自动求精的具体算法 | 第34-36页 |
| 5 从规格说明到程序代码的自动求精 | 第36-54页 |
| ·实现自动求精需要的编译步骤 | 第36-39页 |
| ·词法分析 | 第37页 |
| ·语法分析 | 第37-38页 |
| ·语义分析 | 第38页 |
| ·目标代码生成 | 第38页 |
| ·符号表的总体组织 | 第38-39页 |
| ·ZTOC自动求精器的设计及实现 | 第39-47页 |
| ·词法分析阶段 | 第40页 |
| ·语法分析阶段 | 第40-41页 |
| ·语义分析阶段 | 第41-45页 |
| ·目标代码生成 | 第45-47页 |
| ·符号表 | 第47-50页 |
| ·符号的主要属性及作用 | 第47-48页 |
| ·符号表的总体组织 | 第48-50页 |
| ·ZTOC自动求精器的扫描及处理过程 | 第50-54页 |
| ·自动求精器与用户的接口 | 第50页 |
| ·扫描器第一趟扫描及处理 | 第50-52页 |
| ·扫描器第二趟扫描及处理 | 第52-54页 |
| 6 Z规格说明向C++转换示例 | 第54-59页 |
| ·图书馆数据库管理规格说明 | 第54-55页 |
| ·用于转换的规格说明 | 第55-56页 |
| ·转换为C++程序代码 | 第56-59页 |
| 7 结论 | 第59-60页 |
| 参考文献 | 第60-63页 |
| 附录A Smart Z语法 | 第63-66页 |
| 附录B 集合论部分常见算子的函数模板定义 | 第66-71页 |
| 在学研究成果 | 第71-72页 |
| 致谢 | 第72页 |
