有關(guān)內(nèi)容參見(jiàn):Ada;Class;DataStructures;DataType;Monitors;PascalProgramVerification;andStructuredProgramming軟件開(kāi)發(fā)和維護(hù)的主要問(wèn)題是如何處理軟件系統(tǒng)的復(fù)雜性。過(guò)去幾年,根據(jù)一些如何對(duì)付這種復(fù)雜性的新的設(shè)想,研究出若干程序設(shè)計(jì)的方法和語(yǔ)言 (本文共 2151 字 ) [閱讀本文] >>