| 摘要: |
| 本文介绍了面向对象软件自动化系统JDAUTO/0的设计与实现．JOOSL是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细设计的自动工具PDAUTO和详细设计到c++代码的自动转换工具DDAUTO． |
| 关键词: 形式规约语言，面向对象设计，自动程序设计，软件自动化,软件工具． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家“八五”重点科技攻关计划、国家863高科技项目和国家自然科学基金项目资助. |
|
| JDAUTO/0：An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM |
|
Jin Chunshao,Quan Bingzhe
|
| Abstract: |
| This paper describes the design and implementation of an object—oriented software automation system JDAUTO/0．JOOSL is an object—oriented software formal specification language．Based on JOOSL，the authors have developed the PDAUTO tool，a semiautomatic tool which synthesizes detailed designs from preliminary designs，and the DDAUTO tool，an automatic tool which transforms detaihd designs to C++programs． |
| Key words: Formal specification language,object—oriented design,automatic program-ruing design,software automation,software tool． |
