%0 Journal Article
%T 面向对象软件自动化系统jdauto/o*
%A 金淳兆？
%A 全炳哲？
%J 软件学报
%P 304-310
%D 1996
%X 本文介绍了面向对象软件自动化系统jdauto/0的设计与实现．joosl是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细设计的自动工具pdauto和详细设计到c++代码的自动转换工具ddauto．
%K 形式规约语言
%K 面向对象设计
%K 自动程序设计
%K 软件自动化
%K 软件工具．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s144&flag=1