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

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

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