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