论文研究形式化方法Designware及其规约精化机理.pdf
介绍了一种新的支持算法设计自动化的形式化方法Designware，详细分析了其理论基础及规约精化机理，阐述了其半自动算法设计支撑系统，并结合一个开发实例展示了Designware的具体使用，给出了Designware的两个实际应用项目，最后对Designware进行了评述。
下载地址
用户评论
