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

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