Formal method Designware and its specification refinement mechanism
形式化方法Designware及其规约精化机理

This paper introduced a new formal method Designware that supported automatic algorithm design, analyzed its theoretical foundation and specification refinement theory in detail,and expounded its semiautomatic algorithm design support system,then presented a detailed example of using Designware is and illustrated two practical applications.Finally gave the discussions and conclusions.