| 摘要 | 第1-3页 |
| ABSTRACT | 第3-6页 |
| 第一章 绪论 | 第6-11页 |
| ·管理信息系统概述 | 第6-7页 |
| ·管理信息系统的可靠性 | 第7-8页 |
| ·软件可靠性研究现状 | 第8-9页 |
| ·本文研究内容 | 第9-10页 |
| ·本文创新 | 第10页 |
| ·本文结构 | 第10-11页 |
| 第二章 PAR 方法概述 | 第11-20页 |
| ·软件可靠性与形式化方法 | 第11-13页 |
| ·软件形式化的国内外研究现状 | 第13-16页 |
| ·PAR 方法 | 第16-20页 |
| 第三章 NCRE 管理信息系统的需求与设计 | 第20-25页 |
| ·需求说明与形式化方法 | 第20页 |
| ·部件技术 | 第20-21页 |
| ·NCRE 管理信息系统需求规约的形式化描述 | 第21-23页 |
| ·NCRE 管理信息系统系统设计 | 第23页 |
| ·NCRE 管理信息系统数据库表结构 | 第23-25页 |
| 第四章 高可靠NCRE 管理信息系统的实现 | 第25-41页 |
| ·NCRE 管理信息系统的APLA描述 | 第25-31页 |
| ·基于关系代数的数据库操作 | 第31-35页 |
| ·NCRE 管理信息系统核心算法形式化推导 | 第35-38页 |
| ·用APLA 描述的NCRE 管理信息系统的自动转换 | 第38-41页 |
| 第五章 总结 | 第41-42页 |
| 参考文献 | 第42-45页 |
| 致谢 | 第45-46页 |
| 攻读硕士学位期间参与的课题 | 第46-47页 |