文件名称：论文研究-形式化方法Designware及其规约精化机理.pdf
文件大小：492KB
文件格式：PDF
更新时间：2022-08-11 14:42:52
形式化方法Designware,规约精化,算法设计,高可信
介绍了一种新的支持算法设计自动化的形式化方法Designware，详细分析了其理论基础及规约精化机理，阐述了其半自动算法设计支撑系统，并结合一个开发实例展示了Designware的具体使用，给出了Designware的两个实际应用项目，最后对Designware进行了评述。