一种对象式软件开发方法及其支持工具

An Object Oriented Software Development Environment and Its Supporting Tool

提出了一种改进的对象式软件开发方法，该方法支持从概念建模、逻辑建模到实现的软件开发全过程；介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制；简要地介绍了支持这种方法的一个软件工具的设计与实现．

This paper presents an improved object oriented software development method. This method supports the whole process of software development: from conceptual modelling to logic modelling and from logic modelling to implementation. To support the method, this paper introduces graphical requirement analysis language, formal requirement specification language, the method and mechanism of transforming from informal model to formal specification and from formal specification to implementation. Meanwhile the paper outlines the design and implementation of a software tool which supports this approach.