《计算机学报》文章摘要   全文下载
文章题目	基于PAR的算法形式化开发
作者	石海鹤1),2),3) 薛锦云1),2)
作者单位	1)(中国科学院软件研究所计算机科学国家重点实验室 北京 100190) 2)(江西师范大学省高性能计算技术重点实验室 南昌 330022) 3)(中国科学院研究生院 北京 100049)
发表年份	2009
发表月份	5期(982—991)
文章摘要	摘要 形式化方法是构建可信软件的重要途径.基于对算法问题的分析，针对形式化方法PAR开发算法的特征，刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发，可机械地完成问题的分划及规约的变换，自然地揭示出求解问题的算法思想，在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动，降低了形式化求解算法问题的难度，提高了算法程序的可靠性和形式化开发效率. 关键词 算法；形式化方法；PAR；规约；可信软件 中图法分类号 TP301 DOI号: 10.3724/SP.J.1016.2009.00982