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