EGCL-Java程序轉(zhuǎn)換器的研究與實(shí)現(xiàn).pdf

1、軟件開發(fā)的自動化一直是軟件工程領(lǐng)域的一個研究熱點(diǎn)和難點(diǎn).按照薛錦云教授提出的分劃遞推法等理論,計算機(jī)工作者可以充分地發(fā)揮自己的創(chuàng)造性,開發(fā)出由RADL算法描述語言描述的算法,然后構(gòu)造一個自動轉(zhuǎn)換工具先將RADL算法轉(zhuǎn)換成抽象程度較高的EGCL程序,再將EGCL抽象程序轉(zhuǎn)換成可執(zhí)行的高級語言程序.該文以國家自然科學(xué)基金課題和江西省跨世紀(jì)學(xué)術(shù)和技術(shù)帶頭人項(xiàng)目為背景,研究任務(wù)主要是集中在從抽象程度較高的EGCL語言程序到可執(zhí)行的Java語言程

2、序的自動轉(zhuǎn)換.這是薛錦云教授提出的分劃遞推法運(yùn)用于軟件開發(fā)全過程的一種嘗試.作者按照部分實(shí)現(xiàn)理論開發(fā)了一套基于Java語言的可重用類庫用一牟轉(zhuǎn)換,對由EGCL語言到Java語言的轉(zhuǎn)換規(guī)則進(jìn)行了歸納和整理,在計算機(jī)上實(shí)現(xiàn)了從EGCL語言程序到Java語言程序的自動轉(zhuǎn)換,作者已經(jīng)對求解立方問題、最長平臺問題、先序遍歷二叉樹問題等一些典型算法的EGCL語言程序進(jìn)行了轉(zhuǎn)換,得到了滿意的結(jié)果.該文共分為六大部分.第一章和第二章主要介紹形式化開發(fā)方