面向对象的软件工程环境平台研究

面向对象的软件工程环境平台的研究在理论上建立了面向对象的代数模型，提出了一种简洁实用的面向对象的开发方法。在实践上设计并实现了一种开发平台原型。该项研究已应用于财政管理信息系统群的开发中，有效地缩短了系统的开发周期，它同样适用于其它软件的开发。该项研究的理论结果还延伸至基于对象的类比推理，不仅为软件复用提供了一种理论基础，而且还将抽象机制引入类化推理中，改善了目前推理机制中缺乏抽象能力的问题。