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．