基于PAR方法的程序設(shè)計ICAI實驗系統(tǒng)的研究與實現(xiàn).pdf

1、科學(xué)的程序設(shè)計理論和方法是構(gòu)造高質(zhì)量程序設(shè)計教育軟件的基礎(chǔ).薛錦云教授在國家863和多項國家自然科學(xué)基金課題的資助下,根據(jù)多年從事算法程序設(shè)計理論研究的成果,提出了一種簡單、實用的設(shè)計和證明算法的形式化方法一PAR方法.應(yīng)用PAR方法,可以給出從需求解的問題,到可執(zhí)行程序的具體設(shè)計過程.薛錦云教授領(lǐng)導(dǎo)的課題組幾年來一直在從事程序設(shè)計教學(xué)軟件的研究,以克服現(xiàn)有程序設(shè)計教學(xué)軟件的不足.本論文在本課題組已有研究的基礎(chǔ)上,重新構(gòu)建了一個程序設(shè)計

2、ICAI系統(tǒng),實現(xiàn)了PAR方法知識教學(xué)以及關(guān)于部分復(fù)雜遞歸類問題的程序設(shè)計過程和推理的教學(xué),并可通過PAR方法支撐工具(即自動程序轉(zhuǎn)換系統(tǒng))及時檢測程序的正確性.本論文也是薛錦云教授主持承擔(dān)的"實用的軟件形式化方法"和"基于PAR方法的算法設(shè)計形式化和自動化研究"兩個國家自然科學(xué)基金項目的理論成果在程序設(shè)計教學(xué)實踐中的具體應(yīng)用.本文的創(chuàng)新點主要體現(xiàn)在以下幾個方面:(1)進(jìn)一步深入研究PAR方法,將PAR方法知識點重新進(jìn)行分類并重構(gòu)知識庫