| 目录 | 第1-6页 |
| 第一章 引言 | 第6-13页 |
| ·面向对象技术的发展回顾 | 第6-7页 |
| ·面向对象系统的开发过程 | 第7-9页 |
| ·面向对象开发方法的介绍及比较 | 第9-10页 |
| ·Coad／Yourdon方法 | 第9页 |
| ·Booch方法 | 第9-10页 |
| ·Rumbaugh的OMT方法 | 第10页 |
| ·Jacobson方法 | 第10页 |
| ·现有方法的不足及研究的意义 | 第10-11页 |
| ·本文的主要内容 | 第11-13页 |
| 第二章 面向对象的形式化逻辑分析理论 | 第13-31页 |
| ·形式化逻辑分析的动因 | 第13页 |
| ·形式化逻辑分析基础 | 第13-14页 |
| ·符号、公式的定义及公理和定理 | 第14-17页 |
| ·常用符号、公式的定义 | 第14-16页 |
| ·公理和定理 | 第16-17页 |
| ·对象状态分析 | 第17-19页 |
| ·程序状态变迁的表示 | 第17页 |
| ·对象属性状态的表示 | 第17-18页 |
| ·对象状态的表示 | 第18页 |
| ·子类和父类状态空间的关系 | 第18-19页 |
| ·对象状态变迁的表示 | 第19页 |
| ·类的分析 | 第19-22页 |
| ·类的封闭性逻辑分析(用到表2-1中编号为17，21，22，34的定义) | 第19-20页 |
| ·类的聚合性逻辑分析(用到表2-1中33的定义) | 第20页 |
| ·类的继承性逻辑分析(用到表2-1中27，39的定义) | 第20-22页 |
| ·一些算法 | 第22-23页 |
| ·在面向对象开发中软件度量的作用 | 第23-31页 |
| ·与继承相关的度量 | 第26页 |
| ·与封装相关的度量及一些算法 | 第26-30页 |
| ·与多态相关的度量 | 第30-31页 |
| 第三章 对象模式和关系模式的映射理论基础 | 第31-41页 |
| ·对象存储的现状及提出对象存储层的迫切性 | 第31页 |
| ·关系模式与对象模式的比较 | 第31-33页 |
| ·不同的类型系统 | 第32页 |
| ·不同的语言 | 第32页 |
| ·不同的范例 | 第32页 |
| ·不同的基本数据实体 | 第32-33页 |
| ·对象关系映射中存在的若干问题 | 第33-34页 |
| ·对象的映射 | 第34-36页 |
| ·超集(Superset)映射 | 第35页 |
| ·子集(Subset)映射 | 第35-36页 |
| ·表(Table)映射 | 第36页 |
| ·对象关系的映射 | 第36-39页 |
| ·继承关系的映射 | 第36-39页 |
| ·关联、聚集及其他关系的映射 | 第39页 |
| ·映射规则小结 | 第39-40页 |
| ·对象标识(OID)的管理 | 第40-41页 |
| 第四章 系统的目标与特点及主要功能模块的介绍 | 第41-47页 |
| ·系统的目标与特点 | 第41-44页 |
| ·本系统的优势 | 第42-43页 |
| ·系统的目标 | 第43-44页 |
| ·系统主要功能模块的介绍 | 第44-45页 |
| ·对象的存储 | 第45-47页 |
| ·对象标识符 | 第45页 |
| ·类的存储 | 第45-46页 |
| ·对象实例的存储 | 第46-47页 |
| 第五章 CRUD模型--一个面向对象持久化的模型 | 第47-51页 |
| ·实现对象-关系映射的几种方法 | 第47-48页 |
| ·模型的组成及各部分的交互图介绍 | 第48-49页 |
| ·C++实现持久类的主要接口 | 第49-51页 |
| 第六章 可视化面向对象形式化逻辑分析系统VOOFA的介绍 | 第51-60页 |
| ·系统主界面 | 第51页 |
| ·菜单区 | 第51-54页 |
| ·文件菜单 | 第51-52页 |
| ·类模式管理 | 第52页 |
| ·对象查询 | 第52-53页 |
| ·工具菜单 | 第53-54页 |
| ·实例一:一个简单类图耦合性的度量 | 第54-56页 |
| ·类图表示 | 第54-55页 |
| ·系统交互藕合度量结果 | 第55-56页 |
| ·实例二:干扰解扰有限电视收费系统的分析和改进 | 第56-60页 |
| ·系统需求 | 第56页 |
| ·建立对象类图 | 第56-58页 |
| ·修改类图及系统改进 | 第58-60页 |
| 结束语 | 第60-61页 |
| 参考文献 | 第61-63页 |
| 致谢 | 第63-64页 |
