本書書討論了怎樣構建具有高可靠性、易于維護和能得以快速修改的軟件開發(fā)方法,強調了軟件的模塊化開發(fā)思想,用豐富的實例告訴讀者怎樣進行模塊化,并合理地組織各種模塊以構成大型軟件系統(tǒng)的過程。這是一本傳授思想的書籍,能使讀者透過現(xiàn)象看到本質,從而掌握編寫程序的關鍵。本書非常適合于作為軟件學院的教材,可培養(yǎng)低年級學生對于事物的抽象能力。此外,本書也非常適合于軟件開發(fā)人員參考。本書由著名編程理論專家所著,是美國麻省理工學院電氣工程與計算機科學系的編程實踐課程教材。書中討論了怎樣構建具有高可靠性、易于維護和能得以快速修改的軟件開發(fā)方法,強調了軟件的模塊化開發(fā)思想,用豐富的實例告訴讀者怎樣進行模塊化,并合理地組織各種模塊以構成大型軟件系統(tǒng)的過程。本書的前8章首次提出編程領域中一些十分有用的抽象概念,如過程抽象、迭代抽象以及最重要的數(shù)據(jù)抽象等。此外,本書通過大量的例子,用非形式化的規(guī)格說明來詳細定義這些數(shù)據(jù)抽象,描述模塊所需完成的任務,并定義了模塊所需的性能邊界條件。本書的后7章主要講述了怎樣利用抽象構建大型軟件,側重于闡述軟件工程的內容,基于類型層次結構提出對于數(shù)據(jù)抽象的調試、測試、需求分析、自頂向下和迭代的開發(fā)過程,還簡要介紹了設計模式的概念。