%0 Journal Article
%T Formal method Designware and its specification refinement mechanism
形式化方法Designware及其规约精化机理
%A SHI Hai-he
%A SHI Hai-peng
%A XUE Jin-yun
%A
石海鹤
%A 石海鹏
%A 薛锦云
%J 计算机应用研究
%D 2008
%I
%X 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.
%K 形式化方法Designware
%K 规约精化
%K 算法设计
%K 高可信
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=AA659F0EF43076AE61D6253A4D98CF53&yid=67289AFF6305E306&vid=C5154311167311FE&iid=38B194292C032A66&sid=569BDAA4FEA0F7F9&eid=00B9006659EBD8AC&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=24