共代数方法及其在面向对象技术中的应用
| 第1章 绪论 | 第1-19页 |
| ·研究背景 | 第12-13页 |
| ·形式化方法 | 第13-14页 |
| ·共代数方法的研究现状及前景 | 第14-16页 |
| ·课题研究的内容和目的 | 第16-18页 |
| ·论文的章节安排 | 第18-19页 |
| 第2章 代数规范与共代数规范 | 第19-26页 |
| ·代数规范 | 第19-21页 |
| ·共代数规范 | 第21-24页 |
| ·本章小结 | 第24-26页 |
| 第3章 共代数范畴 | 第26-45页 |
| ·范畴论中的基本概念 | 第26-34页 |
| ·对象、射和范畴 | 第26-28页 |
| ·积与共积 | 第28-30页 |
| ·函子、自然变换和伴随函子 | 第30-33页 |
| ·双笛卡儿封闭范畴 | 第33-34页 |
| ·共代数范畴 | 第34-38页 |
| ·共代数范畴的定义 | 第34-37页 |
| ·终结共代数的存在性 | 第37-38页 |
| ·共代数之间的互模拟关系 | 第38-41页 |
| ·互模拟关系的定义 | 第39-41页 |
| ·互模拟与共归纳证明原理 | 第41页 |
| ·不变体的定义与性质 | 第41-43页 |
| ·谓词提升 | 第42页 |
| ·不变体 | 第42-43页 |
| ·共代数上的模态逻辑 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第4章 对象范型的共代数语义 | 第45-64页 |
| ·类的规范与类的实现 | 第45-50页 |
| ·终结共代数语义 | 第50-52页 |
| ·面向对象特征的描述 | 第52-55页 |
| ·继承 | 第52-55页 |
| ·组合 | 第55页 |
| ·行为精化 | 第55-63页 |
| ·形式化定义 | 第56-57页 |
| ·行为精化的终结语义 | 第57-58页 |
| ·行为精化举例 | 第58-63页 |
| ·本章小结 | 第63-64页 |
| 第5章 C& C辅助阅卷系统的研究与实现 | 第64-74页 |
| ·C& C辅助阅卷系统的总体目标 | 第64-65页 |
| ·系统的基本结构 | 第65-66页 |
| ·系统的运行平台 | 第66页 |
| ·系统的实现技术 | 第66-70页 |
| ·系统实现的主要功能 | 第66页 |
| ·形式验证技术 | 第66-68页 |
| ·PVS介绍 | 第68-69页 |
| ·主要实现技术 | 第69-70页 |
| ·系统实现的主要特点 | 第70页 |
| ·运行实例 | 第70-73页 |
| ·存在的问题和系统的局限 | 第73-74页 |
| 第6章 结束语 | 第74-76页 |
| ·本文工作总结 | 第74页 |
| ·进一步工作的展望 | 第74-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-80页 |
| 个人简历 在读期间发表的学术论文与研究成果 | 第80页 |
