| 致谢 | 第1-3页 |
| 摘要 | 第3-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-8页 |
| 引言 | 第8-10页 |
| 第1章 软件开发方法及其支持工具 | 第10-19页 |
| 1-1 概论 | 第10页 |
| 1-2 软件自动化的层次 | 第10-11页 |
| 1-3 软件开发工具 | 第11页 |
| 1-4 典型的形式化方法及其支持工具介绍 | 第11-14页 |
| 1-4-1 VDM方法 | 第11页 |
| 1-4-2 Z方法 | 第11-12页 |
| 1-4-3 RAISE方法 | 第12页 |
| 1-4-4 模型检测方法 | 第12页 |
| 1-4-5 B方法 | 第12-13页 |
| 1-4-6 南京大学自动化试验性系统 | 第13-14页 |
| 1-4-7 XYZ方法 | 第14页 |
| 1-5 PAR方法 | 第14-17页 |
| 1-5-1 PAR方法总体思想 | 第14页 |
| 1-5-2 PAR方法的组成 | 第14-15页 |
| 1-5-3 应用PAR方法开发正确的Apla程序 | 第15-17页 |
| 1-5-4 PAR方法的系列转换工具 | 第17页 |
| 1-6 小结 | 第17-19页 |
| 第2章 预定义ADT类型的支持 | 第19-29页 |
| 2-1 理论基础 | 第19-21页 |
| 2-1-1 抽象数据类型(ADT) | 第19-20页 |
| 2-1-2 部分实现理论 | 第20-21页 |
| 2-1-3 软件重用理论 | 第21页 |
| 2-2 高可靠性预定义ADT库当中的几个基本问题 | 第21-26页 |
| 2-2-1 什么是最基本的操作 | 第21-22页 |
| 2-2-2 操作如何实现 | 第22页 |
| 2-2-3 如何保证可靠性 | 第22-26页 |
| 2-3 预定义ADT库的设计与实现 | 第26-28页 |
| 2-3-1 预定义ADT库的总体设计 | 第26页 |
| 2-3-2 预定义ADT库的具体设计实现 | 第26-28页 |
| 2-4 预定义ADT库的使用 | 第28-29页 |
| 第3章 用户自定义ADT类型支持 | 第29-32页 |
| 3-1 什么是自定义ADT类型 | 第29页 |
| 3-2 APLA中的自定义ADT类型机制 | 第29-30页 |
| 3-3 举例 | 第30-32页 |
| 3-3-1 队列 | 第30-31页 |
| 3-3-2 栈 | 第31-32页 |
| 第4章 泛型程序设计的支持 | 第32-40页 |
| 4-1 泛型程序设计的定义及功能 | 第32页 |
| 4-1-1 什么是泛型程序设计 | 第32页 |
| 4-1-2 泛型程序设计的作用 | 第32页 |
| 4-2 APLA中的泛型机制 | 第32-33页 |
| 4-2-1 类型参数化 | 第32-33页 |
| 4-2-2 子程序参数化 | 第33页 |
| 4-3 泛型程序设计的实现方法 | 第33-34页 |
| 4-3-1 同类静态翻译 | 第33页 |
| 4-3-2 异类静态翻译 | 第33-34页 |
| 4-3-3 动态类装载 | 第34页 |
| 4-4 举例 | 第34-40页 |
| 4-4-1 kleene算法 | 第34-35页 |
| 4-4-2 二叉树前中后序遍历 | 第35-36页 |
| 4-4-3 n皇后问题 | 第36-38页 |
| 4-4-4 通用最小生成树 | 第38-40页 |
| 第5章 APLA→DELPHI自动程序转换器的设计和实现 | 第40-53页 |
| 5-1 APLA语言 | 第40页 |
| 5-2 OBJECT PASCAL语言 | 第40-42页 |
| 5-3 转换系统的总体设计 | 第42-43页 |
| 5-4 词法分析的设计与实现 | 第43-44页 |
| 5-4-1 词法分析的设计 | 第43页 |
| 5-4-2 词法分析的实现 | 第43页 |
| 5-4-3 词法分析的输入 | 第43页 |
| 5-4-4 词法分析的输出 | 第43页 |
| 5-4-5 词法分析的功能 | 第43-44页 |
| 5-5 语法分析的设计与实现 | 第44页 |
| 5-5-1 语法分析的设计 | 第44页 |
| 5-5-2 语法分析的实现 | 第44页 |
| 5-5-3 语法分析的输入 | 第44页 |
| 5-5-4 语法分析的输出 | 第44页 |
| 5-5-5 语法分析的功能 | 第44页 |
| 5-6 出错处理 | 第44-45页 |
| 5-6-1 词法错误 | 第44-45页 |
| 5-6-2 语法错误 | 第45页 |
| 5-6-3 语义错误 | 第45页 |
| 5-7 目标代码优化 | 第45页 |
| 5-8 符号表 | 第45页 |
| 5-9 转换规则 | 第45-48页 |
| 5-9-1 类型定义转换 | 第45-46页 |
| 5-9-2 变量、常量说明转换 | 第46页 |
| 5-9-3 表达式的转换 | 第46页 |
| 5-9-4 语句的转换 | 第46-47页 |
| 5-9-5 过程、函数及其调用的转换 | 第47-48页 |
| 5-9-6 转换规则的正确性 | 第48页 |
| 5-10 APLA→DELPHI算法程序转换器的实现和使用 | 第48-50页 |
| 5-10-1 用户界面的实现 | 第48-50页 |
| 5-10-2 输入Apla算法 | 第50页 |
| 5-10-3 安装进入Apla→Delphi算法程序转换器 | 第50页 |
| 5-11 转换实例 | 第50-53页 |
| 5-11-1 问题:宽度优先遍历图 | 第50-51页 |
| 5-11-2 问题:寻找集合的幂集 | 第51-53页 |
| 第6章 总结和展望 | 第53-54页 |
| 6-1 转换系统的功能和特点 | 第53页 |
| 6-2 总结 | 第53页 |
| 6-3 展望 | 第53-54页 |
| 参考文献 | 第54-55页 |
