提出了一種新的軟件原型速成技術,即基于MLIRF方法的原型速成技術。該技術區(qū)別于其它原型速成技術的特色,是以項目負責人提出的MLIRF方法為基礎,使用特殊的可執(zhí)行規(guī)約語言來刻畫系統(tǒng)原型,軟件規(guī)約的語法方面和語義方面分別用上下文無關語言及其上的遞歸函數(shù)來表達,并且采用機器學習方法來獲取規(guī)約。在SUN工作站上完成實驗性系統(tǒng)SAQ1.1版,并經(jīng)移植和改進完成微機版SAQ系統(tǒng)。使用SAQ系統(tǒng)進行了...
|