算法框架在软件复用中的应用研究
| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第1章 研究背景与意义 | 第10-13页 |
| ·论文研究背景与意义 | 第10-11页 |
| ·算法框架 | 第11页 |
| ·论文主要研究内容 | 第11页 |
| ·论文的组织 | 第11-12页 |
| ·本章小结 | 第12-13页 |
| 第2章 软件复用和形式化方法 | 第13-23页 |
| ·软件复用 | 第13页 |
| ·设计模式简介 | 第13-17页 |
| ·模式的起源 | 第14页 |
| ·设计模式 | 第14-15页 |
| ·设计模式的分类 | 第15-16页 |
| ·设计模式的特点 | 第16页 |
| ·设计模式的作用 | 第16-17页 |
| ·面向对象技术和部件技术 | 第17-19页 |
| ·面向对象技术 | 第17-19页 |
| ·部件技术 | 第19页 |
| ·形式化方法 | 第19-21页 |
| ·形式化方法和形式化规范说明语言 | 第19-20页 |
| ·形式化方法的存在的问题和发展 | 第20-21页 |
| ·本章小结 | 第21-23页 |
| 第3章 算法形式化推导 | 第23-33页 |
| ·程序设计方法学的历史回顾 | 第23-24页 |
| ·程序规范和程序正确性 | 第24页 |
| ·程序规范 | 第24页 |
| ·程序正确性证明 | 第24页 |
| ·量词及其性质 | 第24-28页 |
| ·常用量词 | 第25-27页 |
| ·量词的简单性质 | 第27-28页 |
| ·算法形式化推导 | 第28-32页 |
| ·算法形式化推导 | 第28页 |
| ·分划递推方法 | 第28-29页 |
| ·算法形式化推导实例 | 第29-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 算法框架的提取技术 | 第33-45页 |
| ·算法框架 | 第33页 |
| ·算法框架的提取 | 第33-34页 |
| ·一类数组问题的算法框架 | 第34-39页 |
| ·三色积木问题和整数分类问题 | 第39-43页 |
| ·本章小结 | 第43-45页 |
| 第5章 基于算法框架的可复用部件 | 第45-59页 |
| ·一类数组问题算法框架可复用部件的使用 | 第45-47页 |
| ·三色积木问题算法框架的使用 | 第47-50页 |
| ·进一步的探讨 | 第50-58页 |
| ·代数结构 | 第51页 |
| ·闭半环的定义 | 第51-52页 |
| ·闭半环结构与有向图的广义路径算法框架 | 第52-53页 |
| ·使用闭半环算法框架 | 第53-58页 |
| ·本章小结 | 第58-59页 |
| 第6章 本文总结 | 第59-60页 |
| 参考文献 | 第60-63页 |
| 附录 | 第63-64页 |
| 致谢 | 第64页 |
