| 第一章 绪论 | 第1-12页 |
| ·研究背景 | 第7-9页 |
| ·研究现状 | 第9-10页 |
| ·论文的主要内容 | 第10页 |
| ·本文篇章结构 | 第10-12页 |
| 第二章 PAR方法概述 | 第12-20页 |
| ·软件形式化方法 | 第12-13页 |
| ·软件形式化的国内外研究现状 | 第13-16页 |
| ·VDM方法 | 第13-14页 |
| ·Z方法 | 第14-15页 |
| ·B方法 | 第15-16页 |
| ·PAR方法 | 第16-20页 |
| ·PAR方法的总体思想 | 第16页 |
| ·PAR方法的语言 | 第16-17页 |
| ·PAR方法开发步骤 | 第17-19页 |
| ·PAR方法系列转换工具 | 第19-20页 |
| 第三章 PAR方法中加入数据库机制的可行性分析和TABLE类 | 第20-35页 |
| ·关系数据库概述 | 第20-23页 |
| ·关系代数和关系演算 | 第20-22页 |
| ·关系数据库标准语言SQL | 第22-23页 |
| ·可行性和必要性分析 | 第23-24页 |
| ·可行性分析 | 第23页 |
| ·必要性分析 | 第23-24页 |
| ·JDBC与JAVA数据库程序开发 | 第24-26页 |
| ·ODBC与JDBC | 第24-25页 |
| ·Java数据库程序 | 第25-26页 |
| ·TABLE.JAVA类的制定 | 第26-33页 |
| ·部件库类TABLE的可靠性分析 | 第33-35页 |
| 第四章 PAR方法中关系数据库机制的形式化描述 | 第35-45页 |
| ·引言 | 第35页 |
| ·APLA数据库操作的形式化描述以及对应的SQL语句: | 第35-45页 |
| ·符号集: | 第36页 |
| ·操作集: | 第36-45页 |
| 第五章 APLA→JAVA数据库程序转换系统的设计与实现 | 第45-67页 |
| ·总体设计 | 第45-46页 |
| ·词法分析 | 第46-49页 |
| ·词法分析的任务 | 第47页 |
| ·词法分析的输入与输出 | 第47页 |
| ·Apla数据库程序的词法分析 | 第47-49页 |
| ·语法分析 | 第49-54页 |
| ·语法分析的任务 | 第49-50页 |
| ·Apla数据库程序的语法分析 | 第50-53页 |
| ·Apla数据库程序的语法分析错误处理 | 第53-54页 |
| ·APLA→JAVA数据库程序语句转换 | 第54-64页 |
| ·程序转换模块的总体结构 | 第55-56页 |
| ·数据库表结构的定义声明处理 | 第56-57页 |
| ·变量定义声明语句的转换 | 第57-58页 |
| ·查询表达式的转换 | 第58-61页 |
| ·数据库赋值语句的转换 | 第61-62页 |
| ·其他数据库操作语句的转换 | 第62-63页 |
| ·“转换”和“运行”按钮的处理 | 第63-64页 |
| ·系统用户界面的设计与实现 | 第64-67页 |
| 第六章 APLA→JAVA数据库程序转换系统的运行效果和应用 | 第67-78页 |
| ·系统的安装和运行环境设置 | 第67-68页 |
| ·系统的安装 | 第67页 |
| ·运行环境设置 | 第67-68页 |
| ·APLA→JAVA数据库程序转换实例 | 第68-77页 |
| ·建立表和增加记录 | 第68-69页 |
| ·查询表达式赋值给表变量和一个复杂查询 | 第69-71页 |
| ·并、交、差综合 | 第71-72页 |
| ·除操作 | 第72页 |
| ·查询表达式赋值给记录变量 | 第72-73页 |
| ·查询表达式赋值给数组变量 | 第73-74页 |
| ·建立视图并查找试图 | 第74-75页 |
| ·查询优化举例 | 第75-77页 |
| ·应用前景 | 第77-78页 |
| ·数据库应用程序开发 | 第77页 |
| ·高校数据库课程教学 | 第77-78页 |
| 第七章 总结与展望 | 第78-80页 |
| ·总结 | 第78页 |
| ·展望 | 第78-80页 |
| 参考文献 | 第80-83页 |
| 致谢 | 第83-84页 |
| 攻读硕士学位期间发表的论文和参与的课题 | 第84页 |
