形式化开发非递归Koch曲线算法

摘要：

形式化方法是构建可信软件的重要途径.Koch曲线是典型的分形图形,本文使用形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明.在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法.对使用形式化方法及循环不变式开发策略开发分形程序非递归算法做了较深入的实践和探讨.

关键词： 程序设计 非递归算法 平面曲线 形式化方法

作者: 刘润杰 申金媛 穆维新

作者单位: 郑州大学信息工程学院,河南郑州,450001

会议类型: 国内会议

会议名称: 河南省计算机学会2010年学术年会

会议地点: 郑州

会议语种:中文

页码: 32-36

在线出版日期: 2010-11-12（万方平台首次上网日期，不代表论文的发表时间）