| 摘要 | 第1-3页 |
| ABSTRACT | 第3-4页 |
| 目录 | 第4-6页 |
| 引言 | 第6-7页 |
| 第一章 PAR方法介绍 | 第7-9页 |
| ·PAR方法的总体思想 | 第7页 |
| ·PAR方法的语言 | 第7页 |
| ·PAR方法开发步骤 | 第7-8页 |
| ·PAR方法系列转换工具 | 第8-9页 |
| 第二章 从PAR方法出发的管理信息系统需求建模 | 第9-16页 |
| ·软件需求与形式化 | 第9页 |
| ·需求分析中的PAR方法 | 第9-10页 |
| ·PAR方法在MIS系统中的运用 | 第10-15页 |
| ·Radl语言 | 第10页 |
| ·功能描述 | 第10-11页 |
| ·系统建模 | 第11-13页 |
| ·形式化描述 | 第13-15页 |
| ·需求分析阶段应用形式化方法的总结 | 第15-16页 |
| 第三章 PAR方法在智能算法开发中的应用 | 第16-25页 |
| ·算法开发与形式化 | 第16页 |
| ·基于案例的推理理论 | 第16-18页 |
| ·两种基于案例的推理算法的Apla语言描述 | 第18-24页 |
| ·项目背景 | 第18页 |
| ·Apla简介 | 第18页 |
| ·专家遴选模块的数据模型 | 第18-19页 |
| ·最近邻居算法的Apla描述 | 第19-21页 |
| ·遗传算法的Apla描述 | 第21-24页 |
| ·算法设计阶段应用形式化方法的总结 | 第24-25页 |
| 第四章 APLA→SQL自动程序转换器的设计、实现与应用 | 第25-39页 |
| ·Apla→SQL转换系统的研究目标与步骤 | 第25-26页 |
| ·研究目标 | 第25页 |
| ·研究步骤 | 第25-26页 |
| ·Apla→Delphi转换系统的功能和特点 | 第26页 |
| ·数据库与SQL语言概述 | 第26-28页 |
| ·抽象数据类型(ADT)的理论基础 | 第28-29页 |
| ·预定义ADT类型“数据集”tdataset的设计与实现 | 第29-38页 |
| ·预定义ADT类型“数据集”tdataset的设计 | 第29-31页 |
| ·预定义ADT类型“数据集”tdataset的实现 | 第31-32页 |
| ·SQL程序开发实例 | 第32-38页 |
| ·数据库处理阶段应用形式化方法的总结 | 第38-39页 |
| 第五章 结束语 | 第39-40页 |
| 主要参考文献 | 第40-43页 |
| 致谢 | 第43页 |
