| 第一章 引论 | 第1-9页 |
| ·本文研究背景 | 第7-8页 |
| ·本文研究的主要内容 | 第8-9页 |
| 第二章 软件形式化和自动化 | 第9-13页 |
| ·形式化规格说明与软件自动生成 | 第9页 |
| ·软件开发周期中的形式化方法 | 第9-10页 |
| ·形式化方法分类 | 第10-11页 |
| ·软件自动化实现的途径 | 第11-13页 |
| ·演绎综合 | 第11-12页 |
| ·程序变换 | 第12页 |
| ·过程实现 | 第12页 |
| ·归纳综合 | 第12-13页 |
| 第三章 面向算法领域的形式化描述方法 | 第13-20页 |
| ·算法程序中形式化和非形式化的关系和地位 | 第13-14页 |
| ·算法开发中的创造性劳动和非创造性劳动 | 第13页 |
| ·完全的形式化方法和部分的形式化方法 | 第13-14页 |
| ·常用的算法开发策略 | 第14-15页 |
| ·PAR方法的六个步骤 | 第15页 |
| ·开发循环不变式的两个新策略 | 第15-16页 |
| ·支持PAR方法的语言 | 第16-20页 |
| ·RADL语言简介 | 第16页 |
| ·RADL语言的语法 | 第16-19页 |
| ·APLA语言简介 | 第19页 |
| ·APLA语言的语法 | 第19-20页 |
| 第四章 RADL→APLA转换器的总体设计 | 第20-25页 |
| ·转换器的形式化描述 | 第20页 |
| ·RADL→APLA转换器总体结构 | 第20-21页 |
| ·RADL→APLA系统图 | 第20-21页 |
| ·RADL→APLA功能模块说明 | 第21页 |
| ·基于构件／构架的软件开发 | 第21-22页 |
| ·软件复用的定义及可复用构件的标准 | 第21页 |
| ·构件／构架的软件开发过程 | 第21-22页 |
| ·DELPHI环境中对构件／构架开发的支持 | 第22页 |
| ·两个可重用的部件(Twfcontrol和Tturning) | 第22-25页 |
| ·TWFCONTROL和TTURNING的对象图 | 第22页 |
| ·TWFCONTROL类 | 第22-24页 |
| ·TURNING类 | 第24页 |
| ·TWFCONTROL和TTURNING的特点 | 第24-25页 |
| 第五章 RADL→APLA程序转换器实现 | 第25-39页 |
| ·词法分析器 | 第25-27页 |
| ·词法分析器的任务 | 第25页 |
| ·RADL词法分析器使用的词法规则 | 第25-26页 |
| ·RADL词法分析器对单词拼写错误的处理 | 第26页 |
| ·RADL词法分析器流程图 | 第26-27页 |
| ·语法分析器 | 第27-33页 |
| ·语法分析器的任务 | 第27页 |
| ·语法分析器的设计 | 第27-28页 |
| ·RADL→APLA总控程序和状态转换表的关系 | 第28-33页 |
| ·项目集的实现 (Twfset类) | 第28-30页 |
| ·状态转换表的实现 (Twfcontrol类) | 第30-32页 |
| ·总控程序的实现 (Tturnning类) | 第32-33页 |
| ·转换规则的说明 | 第33-36页 |
| ·归约时综合属性文法的实现 | 第36-39页 |
| ·RADL→APLA中文法符合的类定义 | 第37页 |
| ·RADL→APLA中综合属性计算 | 第37-39页 |
| 第六章 RADL→APLA自动转换器的应用 | 第39-43页 |
| ·整型数组的最大乘积问题 | 第39-40页 |
| ·前序遍历一棵树问题 | 第40-42页 |
| ·RADL→APLA转换器的使用和界面 | 第42-43页 |
| 第七章 总结 | 第43-46页 |