摘要
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对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.
出处
《计算机应用研究》
CSCD
北大核心
2008年第3期721-725,728,共6页
Application Research of Computers
基金
国家自然科学基金资助项目(60573080)
江西师范大学2006年度青年成长基金资助项目
