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

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

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