基于PAR的算法形式化开发
Data(s) |
2009
|
---|---|
Resumo |
形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率. |
Identificador | |
Idioma(s) |
中文 |
Fonte |
石海鹤;薛锦云.基于PAR的算法形式化开发,计算机学报,2009,32(5):982-991 |
Palavras-Chave | #算法 |
Tipo |
期刊论文 |