| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 引言 | 第7-11页 |
| ·项目的研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-9页 |
| ·论文选题依据 | 第9页 |
| ·论文的主要工作 | 第9页 |
| ·论文的创新 | 第9页 |
| ·论文的组织结构 | 第9-11页 |
| 第二章 相关知识综述 | 第11-22页 |
| ·软件演化过程概述 | 第11-16页 |
| ·软件过程 | 第11-12页 |
| ·软件演化 | 第12页 |
| ·软件演化过程 | 第12-13页 |
| ·软件演化过程描述语言 | 第13-16页 |
| ·预备知识 | 第16-22页 |
| ·描述功能断言常用的量词 | 第16-17页 |
| ·描述功能断言常用的数据类型 | 第17-22页 |
| 第三章 任务功能的分解规则 | 第22-32页 |
| ·基本概念 | 第22-24页 |
| ·三种基本分解规则 | 第24-27页 |
| ·顺序分解规则 | 第25页 |
| ·选择分解规则 | 第25-26页 |
| ·重复分解规则 | 第26页 |
| ·基本分解规则的正确性 | 第26-27页 |
| ·HOS 方法学语义分解规则 | 第27-31页 |
| ·基本控制结构语义分解规则 | 第28-29页 |
| ·复合控制结构语义分解规则 | 第29-30页 |
| ·语义分解规则的正确性 | 第30-31页 |
| ·三种基本分解规则与HOS 方法学语义分解规则的联系 | 第31-32页 |
| 第四章 范例分析 | 第32-46页 |
| ·顺序分解范例 | 第32-33页 |
| ·选择分解范例 | 第33-35页 |
| ·重复分解范例 | 第35-37页 |
| ·复杂任务实例分解 | 第37-46页 |
| 第五章 任务功能分解工具的设计 | 第46-53页 |
| ·知识库 | 第46-49页 |
| ·范例库 | 第46-47页 |
| ·分解树库 | 第47-48页 |
| ·规则库 | 第48页 |
| ·谓词库 | 第48-49页 |
| ·交互界面 | 第49-53页 |
| ·顺序分解界面 | 第49页 |
| ·选择分解界面 | 第49-51页 |
| ·重复分解界面 | 第51-53页 |
| 第六章 分解树与代码片段的生成 | 第53-59页 |
| ·分解树的结构 | 第53-54页 |
| ·分解树到代码片段的转换 | 第54页 |
| ·分解树和代码片段在TFDT 中的实现 | 第54-59页 |
| 第七章 总结与展望 | 第59-60页 |
| ·工作总结 | 第59页 |
| ·工作展望 | 第59-60页 |
| 参考文献 | 第60-62页 |
| 致谢 | 第62页 |