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

• 作者: 石海鹏 石海鹤 薛锦云
• 来源期刊: 计算机应用研究
• 关键词: 形式化方法Designware 规约精化 算法设计 高可信
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 721-725,728
• 页数: 6页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.03.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石海鹤	江西师范大学计算机信息工程学院	18	111	6.0	10.0
5	石海鹏	江西师范大学软件学院	6	42	4.0	6.0
6	薛锦云	江西师范大学计算机信息工程学院	77	745	15.0	23.0