| 基于PAR的算法形式化开发 |
| |
| 引用本文： | 石海鹤,薛锦云.基于PAR的算法形式化开发[J].计算机学报,2009,32(5). |
| |
| 作者姓名： | 石海鹤 薛锦云 |
| |
| 作者单位： | 1. 中国科学院软件研究所计算机科学国家重点实验室,北京,100190;江西师范大学省高性能计算技术重点实验室,南昌,330022;中国科学院研究生院,北京,100049
2. 中国科学院软件研究所计算机科学国家重点实验室,北京,100190;江西师范大学省高性能计算技术重点实验室,南昌,330022 |
| |
| 基金项目： | 国家自然科学基金，科学技术部国际科技合作计划项目，江西省自然科学基金 |
| |
| 摘 要： | 形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.
|
| 关 键 词： | 算法 形式化方法 规约 可信软件 |
PAR-Based Formal Development of Algorithms |
| |
| SHI Hai-He,XUE Jin-Yun.PAR-Based Formal Development of Algorithms[J].Chinese Journal of Computers,2009,32(5). |
| |
| Authors: | SHI Hai-He XUE Jin-Yun |
| |
| Affiliation: | National Key Laboratory for Computer Science;Institute of Software;Chinese Academy of Sciences;Beijing 100190;Provincial Key Laboratory for High-Performance Computing Technology;Jiangxi Normal University;Nanchang 330022;Graduate University of Chinese Academy of Sciences;Beijing 100049 |
| |
| Abstract: | Formal method is an important approach for construction of the trustworthy software.Based on the analysis of algorithmic problems and the features of formal method PAR,the laws of problem partition and recurrence relation construction are described.From a class of problem formal functional specification,the problem partition and the specification transformation can be done mechanically,the ideas behind algorithmic solutions can be discovered naturally,and further the resultant algorithmic programs can be pr... |
| |
| Keywords: | PAR |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
