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

摘要

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