形式化方法Designware及其规约精化机理  

Formal method Designware and its specification refinement mechanism

作　　者：石海鹤[1] 石海鹏[2] 薛锦云[1] 

机构地区：[1]江西师范大学计算机信息工程学院,南昌330022 [2]江西师范大学软件学院,南昌330022

出　　处：《计算机应用研究》2008年第3期721-725,728,共6页Application Research of Computers

基　　金：国家自然科学基金资助项目(60573080);江西师范大学2006年度青年成长基金资助项目

摘　　要：介绍了一种新的支持算法设计自动化的形式化方法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.

关 键 词：形式化方法Designware 规约精化 算法设计 高可信 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]