计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2009年
5期
982-991
,共10页
算法%形式化方法%PAR%规约%可信软件
算法%形式化方法%PAR%規約%可信軟件
산법%형식화방법%PAR%규약%가신연건
形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.
形式化方法是構建可信軟件的重要途徑.基于對算法問題的分析,針對形式化方法PAR開髮算法的特徵,刻劃瞭問題分劃、遞推關繫構造方麵的規律.從一類問題的形式化功能規約齣髮,可機械地完成問題的分劃及規約的變換,自然地揭示齣求解問題的算法思想,在相關工具的支持下自動生成算法程序.研究結果將算法設計中儘可能多的創造性勞動轉化為非創造性勞動,降低瞭形式化求解算法問題的難度,提高瞭算法程序的可靠性和形式化開髮效率.
형식화방법시구건가신연건적중요도경.기우대산법문제적분석,침대형식화방법PAR개발산법적특정,각화료문제분화、체추관계구조방면적규률.종일류문제적형식화공능규약출발,가궤계지완성문제적분화급규약적변환,자연지게시출구해문제적산법사상,재상관공구적지지하자동생성산법정서.연구결과장산법설계중진가능다적창조성노동전화위비창조성노동,강저료형식화구해산법문제적난도,제고료산법정서적가고성화형식화개발효솔.
