1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究形式化方法Designware及其规约精化机理.pdf

论文研究形式化方法Designware及其规约精化机理.pdf

上传者: 2019-09-14 06:40:25上传 其他文档文件 492KB 热度 35次
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
下载地址
用户评论