基于PAR的算法形式化开发

作     者：石海鹤 薛锦云 SHI Hai-He;XUE Jin-Yun

作者机构：中国科学院软件研究所计算机科学国家重点实验室北京100190 江西师范大学省高性能计算技术重点实验室南昌330022 中国科学院研究生院北京100049 

基　　金：国家自然科学基金(60573080,60773054) 科学技术部国际科技合作计划项目(2008DFA11940) 江西省自然科学基金(2008GQS0056)资助~~ 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2009年第32卷第5期

页      码：982-991页

摘      要：形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.

主 题 词：算法 形式化方法 PAR 规约 可信软件 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3724/SP.J.1016.2009.00982

馆 藏 号：203487066...