| 第一章 引言 | 第1-9页 |
| ·背景 | 第6页 |
| ·相关研究情况 | 第6-8页 |
| ·研究内容 | 第8-9页 |
| 第二章 形式化方法研究 | 第9-21页 |
| ·形式化方法概述 | 第9-12页 |
| ·形式化方法定义及发展现状 | 第9-10页 |
| ·形式化方法分类 | 第10-12页 |
| ·典型的形式化语言和方法 | 第12-18页 |
| ·VDM | 第12-14页 |
| ·Z notation | 第14-15页 |
| ·B方法 | 第15-17页 |
| ·B与VDM、Z的简要比较 | 第17页 |
| ·RAISE方法 | 第17-18页 |
| ·基于形式化的复杂软件系统需求建模的方法 | 第18-20页 |
| ·形式化的优点及评价 | 第20-21页 |
| 第三章 PAR方法 | 第21-40页 |
| ·概述 | 第21-22页 |
| ·开发过程 | 第22-30页 |
| ·预备知识 | 第22-29页 |
| ·开发过程 | 第29-30页 |
| ·PAR方法的创新特点 | 第30-40页 |
| ·PAR是一种统一的算法程序设计方法和新的算法表示方法 | 第30-32页 |
| ·循环不变式的新定义及开发新策略 | 第32-33页 |
| ·算法程序设计中的创造性和非创造性地划分 | 第33-34页 |
| ·转换器的开发 | 第34-38页 |
| ·PAR方法的主要特点 | 第38-40页 |
| 第四章 应用PAR方法的开发实例 | 第40-74页 |
| ·实例一 | 第40-49页 |
| ·实例二 | 第49-71页 |
| ·实例三 | 第71-74页 |
| 第五章 结束语 | 第74-77页 |
| ·算法与程序的关系 | 第74-75页 |
| ·循环不变式与循环程序的关系 | 第75页 |
| ·总结与评价 | 第75-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-79页 |