基于C++STL技术实现Z形式规格说明求精变换的研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 1 研究背景及概述 | 第8-16页 |
| ·课题研究背景 | 第8-12页 |
| ·Z的发展现状 | 第12-13页 |
| ·课题研究的意义 | 第13-14页 |
| ·课题研究的主要内容与方法 | 第14-15页 |
| ·本章小结 | 第15-16页 |
| 2 Z数据类型与构造单元 | 第16-30页 |
| ·Z语言的数据类型 | 第16页 |
| ·基本数据类型 | 第16-17页 |
| ·复合类型 | 第17-28页 |
| ·Z规格说明的构造单元 | 第28页 |
| ·本章小结 | 第28-30页 |
| 3 软件求精与C++STL技术 | 第30-40页 |
| ·软件求精 | 第30-31页 |
| ·Z规格说明的求精原则 | 第31-32页 |
| ·软件求精方法 | 第32-34页 |
| ·C++STL简介 | 第34-35页 |
| ·STL基本结构 | 第35-37页 |
| ·迭代器(Iterators) | 第37-38页 |
| ·本章小结 | 第38-40页 |
| 4 Z数据类型及操作算子求精 | 第40-62页 |
| ·原子类型求精 | 第40-42页 |
| ·集合与幂集类型求精 | 第42-46页 |
| ·序偶与笛卡积类型求精 | 第46-49页 |
| ·关系与函数类型求精 | 第49-53页 |
| ·序列类型求精 | 第53-57页 |
| ·包类型求精 | 第57-60页 |
| ·本章小结 | 第60-62页 |
| 5 模式类型与模式求精 | 第62-70页 |
| ·模式类型 | 第62-65页 |
| ·模式运算与求精 | 第65-68页 |
| ·本章小结 | 第68-70页 |
| 6 Z规格说明实例及求精实现 | 第70-82页 |
| ·Z规格说明的求精过程 | 第70-71页 |
| ·一个正文编辑器的规格说明 | 第71-72页 |
| ·编辑器模式分解 | 第72-73页 |
| ·字符删除操作规格说明与求精变换 | 第73-80页 |
| ·系统初始状态模式 | 第80页 |
| ·本章小结 | 第80-82页 |
| 7 结束语 | 第82-84页 |
| ·总结 | 第82-83页 |
| ·进一步的工作 | 第83-84页 |
| 参考文献 | 第84-88页 |
| 致谢 | 第88-90页 |
| 附录 攻读硕士研究生期间发表的论文 | 第90-92页 |
