| 形式化方法Designware及其规约精化机理* |
| |
| 引用本文： | 石海鹤,石海鹏,薛锦云.形式化方法Designware及其规约精化机理*[J].计算机应用研究,2008,25(3):721-725. |
| |
| 作者姓名： | 石海鹤 石海鹏 薛锦云 |
| |
| 作者单位： | 1. 江西师范大学计算机信息工程学院,南昌,330022;中国科学院,软件研究所,计算机科学国家重点实验室,北京,100080
2. 江西师范大学软件学院,南昌,330022 |
| |
| 基金项目： | 国家自然科学基金
,
江西师范大学校科研和教改项目 |
| |
| 摘 要： | 介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.
|
| 关 键 词： | 形式化方法Designware 规约精化 算法设计 高可信 |
| 文章编号： | 1001-3695(2008)03-0721-05 |
| 修稿时间： | 2007年2月10日 |
Formal method Designware and its specification refinement mechanism |
| |
| SHI Hai he,SHI Hai peng,XUE Jin yun.Formal method Designware and its specification refinement mechanism[J].Application Research of Computers,2008,25(3):721-725. |
| |
| Authors: | SHI Hai he SHI Hai peng XUE Jin yun |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
