面向对象软件自动化系统JDAUTO＼0  

作　　者：金淳兆 全炳哲 

出　　处：《软件学报》1996年第A00期304-310,共7页Journal of Software

摘　　要：本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．

关 键 词：面向对象 程序设计 软件自动化 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]