ＧÖｄｅｌ語言對(duì)現(xiàn)代軟件工程方法的支持

摘 要：文章以一種新型的邏輯程序設(shè)計(jì)語言——GOuml;del語言為例，對(duì)邏輯程序設(shè)計(jì)語言與現(xiàn)代軟件工程主要思想和方法的結(jié)合情況進(jìn)行了初步探討。GOuml;del語言通過引入模塊系統(tǒng)、類型系統(tǒng)和延遲計(jì)算機(jī)制等不同于以往邏輯程序的新機(jī)制，能夠支持現(xiàn)代軟件設(shè)計(jì)的一些主流方法。模塊系統(tǒng)提供了組織大規(guī)模程序的方法，并通過結(jié)合類型系統(tǒng)實(shí)現(xiàn)了對(duì)抽象數(shù)據(jù)類型程序設(shè)計(jì)的支持，從而能夠支持面向?qū)ο蟪绦蛟O(shè)計(jì)；延遲計(jì)算則使利用該語言所編制的軟件在可重用性方面獲得提升。

關(guān)鍵詞：GOuml;del語言；軟件開發(fā)方法；模塊系統(tǒng)；類型系統(tǒng)；延遲計(jì)算