基于过程蓝图的重构研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第7-11页 |
| ·前言 | 第7页 |
| ·研究动机 | 第7-8页 |
| ·相关工作 | 第8-9页 |
| ·模型重构 | 第8页 |
| ·重构形式化 | 第8-9页 |
| ·过程蓝图 | 第9页 |
| ·本文工作 | 第9-10页 |
| ·论文组织 | 第10-11页 |
| 第二章 重构形式化概述 | 第11-15页 |
| ·重构的定义 | 第11页 |
| ·形式化方法 | 第11-12页 |
| ·重构形式化 | 第12-14页 |
| ·前置条件和不变量 | 第12页 |
| ·后置条件 | 第12-13页 |
| ·图变换 | 第13-14页 |
| ·小结 | 第14-15页 |
| 第三章 基于过程蓝图的重构 | 第15-36页 |
| ·过程蓝图概述 | 第15页 |
| ·重构的形式化基础 | 第15-20页 |
| ·程序表示模型及实体 | 第15-16页 |
| ·分析函数 | 第16-18页 |
| ·不变量 | 第18页 |
| ·基本树变换操作 | 第18-20页 |
| ·组合操作方式 | 第20页 |
| ·重构的形式化框架 | 第20-21页 |
| ·重构形式定义框架 | 第20页 |
| ·前后置条件 | 第20-21页 |
| ·变换图及变换规则 | 第21页 |
| ·行为保持证明 | 第21页 |
| ·重构的形式、类别与层次 | 第21-23页 |
| ·重构形式 | 第21-22页 |
| ·重构类别 | 第22页 |
| ·重构层次 | 第22-23页 |
| ·重构的规格说明 | 第23-25页 |
| ·重构的性质 | 第25-26页 |
| ·重构的基本过程 | 第26-27页 |
| ·重构的实例 | 第27-35页 |
| ·小结 | 第35-36页 |
| 第四章 过程蓝图的重构工具设计 | 第36-43页 |
| ·重构工具的意义 | 第36页 |
| ·重构工具的当前研究 | 第36-37页 |
| ·重构工具的技术标准 | 第37-38页 |
| ·程序数据库 | 第37页 |
| ·解析树 | 第37页 |
| ·准确性 | 第37-38页 |
| ·重构工具的实用标准 | 第38-39页 |
| ·速度 | 第38页 |
| ·撤消 | 第38页 |
| ·与其他工具集成 | 第38页 |
| ·交互性 | 第38-39页 |
| ·重构工具的设计 | 第39-42页 |
| ·重构工具的总体框架 | 第39页 |
| ·重构工具的工作流程 | 第39-40页 |
| ·表达式分析 | 第40页 |
| ·重构模块的设计与实现 | 第40-42页 |
| ·存储设计 | 第42页 |
| ·小结 | 第42-43页 |
| 第五章 结论与展望 | 第43-44页 |
| 主要参考文献 | 第44-46页 |
| 致谢 | 第46页 |
