面向对象软件自动化系统jdauto/o*

本文介绍了面向对象软件自动化系统jdauto/0的设计与实现．joosl是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细设计的自动工具pdauto和详细设计到c++代码的自动转换工具ddauto．