| 第一章 绪论 | 第6-11页 |
| 1.1 形式化方法的重要意义 | 第6页 |
| 1.2 形式化方法和形式化规格说明语言的发展状况 | 第6-8页 |
| 1.3 形式化方法的研究内容 | 第8页 |
| 1.4 形式化方法与软件可靠性 | 第8-9页 |
| 1.5 软件逐步精化方法 | 第9-11页 |
| 第二章 统一建模语言UML | 第11-13页 |
| 2.1 UML简介 | 第11-13页 |
| 第三章 系统 | 第13-17页 |
| 3.1 语法与语义 | 第13-17页 |
| 第四章 谓词转移图对UML状态转移图的模拟 | 第17-21页 |
| 4.1 定义:系统谓词转移图是6元组(P,S,E,f, μ,1)，其中 | 第17-21页 |
| 第五章 模态逻辑模型 | 第21-28页 |
| 第六章 时序逻辑语义 | 第28-30页 |
| 第七章 程序精化思想 | 第30-33页 |
| 7.1 传统程序观点 | 第30页 |
| 7.2 抽象程序观点 | 第30-31页 |
| 7.3 精化 | 第31-33页 |
| 第八章 类型 | 第33-45页 |
| 8.1 类型的分类 | 第33-34页 |
| 8.2 基本类型 | 第34-35页 |
| 8.3 构造类型 | 第35-37页 |
| 8.4 包 | 第37-38页 |
| 8.5 序列 | 第38-43页 |
| 8.6 函数 | 第43-44页 |
| 8.7 关系 | 第44-45页 |
| 第九章 具体范例 | 第45-50页 |
| 第十章 结论 | 第50-51页 |
| 参考文献 | 第51-52页 |
| 发表论文及参加科研情况说明 | 第52-53页 |
| 致 谢 | 第53页 |