%0 Journal Article
%T Formal Development of Non-recursive Algorithm for Koch Curve<br>形式化开发非递归Koch曲线算法
%A LIU Run-jie
%A SHEN Jin-yuan
%A MU Wei-xin
%A <br>刘润杰
%A 申金媛
%A 穆维新
%J 计算机科学
%D 2011
%I 
%X Formal method is an important approach for construction of the trustworthy software. Koch curve is one of the typical fractals. A non-recursive algorithmic program of Koch curve was dvcloped, employing PAR method and the strategy of developing loop invariant and the algorithm was verified formally. This paper achieved loop invariant of Koch curve with readable, efficient and reliable non-recursive algorithm finally. The paper contributed to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
%K Koch curve
%K Formal method
%K Non-recursive
%K PAR method
%K Loop invariant<br>Koch曲线，形式化方法，非递归，PAR方法，循环不变式
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D2F26F6707E7220168&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=9CF7A0430CBB2DFD&sid=6FBD78E3BAB60869&eid=28F8B56DB6BEE30E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0