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

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