| 摘要 | 第1-3页 |
| ABSTRACT | 第3-7页 |
| 第一章 引言 | 第7-11页 |
| ·本文研究背景及意义 | 第7-9页 |
| ·面向对象发展概述 | 第7-8页 |
| ·面向对象发展领域 | 第8页 |
| ·本文研究历程 | 第8-9页 |
| ·本文主要内容及创新点 | 第9-11页 |
| ·本文主要内容 | 第9页 |
| ·本文主要创新点 | 第9-11页 |
| 第二章 面向对象技术简介及分析 | 第11-15页 |
| ·引言 | 第11页 |
| ·面向对象中对象对环境的自动适应 | 第11-12页 |
| ·面向对象中对象与对象关系的处理 | 第12-13页 |
| ·面向对象技术缺点 | 第13-15页 |
| 第三章 软件开发过程的本质和计算机语言的发展历程 | 第15-18页 |
| ·软件开发过程的本质 | 第15页 |
| ·计算机语言的发展历史 | 第15-17页 |
| ·计算机语言的发展历史启发 | 第17-18页 |
| 第四章 世界和语言的逻辑结构 | 第18-24页 |
| ·维特根斯坦的生平简介 | 第18-19页 |
| ·《逻辑哲学论》简介 | 第19页 |
| ·世界逻辑结构 | 第19-22页 |
| ·语言和命题的逻辑结构 | 第22页 |
| ·《逻辑哲学论》中的逻辑图象论 | 第22-23页 |
| ·小结 | 第23-24页 |
| 第五章 对象对环境的自动适应性 | 第24-26页 |
| ·适应能力是自然界生物生存的一个首要条件 | 第24页 |
| ·软件系统中对象对环境的自动适应性 | 第24-25页 |
| ·对象主动适应 | 第24-25页 |
| ·对象被动适应 | 第25页 |
| ·面向对象技术的不足 | 第25-26页 |
| 第六章 面向事实程序设计 | 第26-31页 |
| ·面向事实程序设计的提出 | 第26页 |
| ·面向事实技术的总体设想 | 第26-27页 |
| ·面向事实程序设计的原则 | 第27-28页 |
| ·面向事实程序设计的特点 | 第28页 |
| ·面向事实程序设计的结构和功能 | 第28-29页 |
| ·面向事实程序设计与面向对象程序设计的不同点 | 第29-31页 |
| 第七章 面向事实程序设计语言概述 | 第31-39页 |
| ·对象(OBJECT) | 第31页 |
| ·对象的主动适应性 | 第31-32页 |
| ·通用对象(COMMON OBJECT) | 第32页 |
| ·类(CLASS) | 第32-33页 |
| ·类与对象的关系 | 第33页 |
| ·事实(FACT) | 第33-34页 |
| ·命题(PROPOSITION) | 第34-36页 |
| ·命题与事实的关系 | 第36-37页 |
| ·对象与事实的区别 | 第37页 |
| ·继承 | 第37-38页 |
| ·多态 | 第38-39页 |
| 第八章 抽象模型形式分析 | 第39-53页 |
| ·概述 | 第39页 |
| ·实体关系模型(ENTITY RELATIONSHIP MODEL) | 第39页 |
| ·对象模型(OBJECT MODEL) | 第39-48页 |
| ·总体模型 | 第39-40页 |
| ·详细分析 | 第40-48页 |
| ·常用符号、公式的定义 | 第40-42页 |
| ·形式分析 | 第42-48页 |
| ·事实模型(FACT MODEL) | 第48-52页 |
| ·总体模型 | 第48页 |
| ·详细分析 | 第48-52页 |
| ·常用符号、公式的定义 | 第48-50页 |
| ·形式分析 | 第50-52页 |
| ·小结 | 第52-53页 |
| 第九章 面向事实程序设计的具体实现及实例 | 第53-66页 |
| ·面向事实程序设计中的类和对象的实现 | 第53-54页 |
| ·面向事实程序设计中的命题定义实例 | 第54-58页 |
| ·面向事实程序设计中的命题的使用实例 | 第58-66页 |
| ·实例1:事实和事实的show_text方法的使用 | 第59-60页 |
| ·实例2:使用事实缺省方法设置日期、时间和地点 | 第60页 |
| ·实例3:设置事实状态set命令的使用 | 第60-61页 |
| ·实例4:利用命题的性质来求解命题的真假 | 第61页 |
| ·实例5:求与某对象具有某些关系的所有对象 | 第61-62页 |
| ·实例6:求对象与对象之间的关系 | 第62-63页 |
| ·实例7:组合命题的使用 | 第63-64页 |
| ·实例8:包含多个对象的命题的使用 | 第64页 |
| ·实例9:事实操作的使用 | 第64-66页 |
| 第十章 结论与展望 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 致谢 | 第70页 |