一种层次式面向对象的系统分析模型

首先给出了一种用于信息建模的层次式面向对象的系统分析模型，包括静态模型和动态模型，其次还较详细地讨论了需求分析模型的正确性及一致性问题。利用这种层次方法建立的需求分析模型，易于理解和维护，又便于图形描述因而，支持需求分析建模的辅助软件工具也易于开发实现。     

机器学习与问题求解

从问题求解的角度，主要对机器人学习在软件自动化领域的应用作一概述，首先阐明了学习与问题求解的关系；其次回顾了问题求解策略的学习；最后介绍了把机器学习用于软件生产自动化研究做的工作。     

对象式软件需求定义及其自动转换的研究

在面向对象构架之下研究了软件需求定义及其自动转换问题,提出了层次化对象式软件需求模型ＮＤＨＯＲＭ;定义了图形化对象式需求定义语言ＮＤＯＲＬ;探讨了从半形式需求定义到形式功能规约的转换技术;介绍了对象式软件需求分析支撑系统ＮＤＯＲＡＳＳ的设计与实现,该系统支持用户借助ＭＮＤＨＯＲＭ模型及ＮＤＯＲＬ语言来构件软件需求定义,并实现到形式功能规约ＯＯＺＥ的自动转换。