Program Development in Java: Abstraction, Specification, and Object-Oriented Des
暫譯: Java 程式開發：抽象、規範與物件導向設計

描述
本書的主題是更有效率和更有效的程式設計實踐。如果學生能學會如何在構建更小的程式時應用抽象、規範和物件導向設計，他們將學會當今急需的組件式和物件導向軟體工程方法論。這種方法論特別展示了學生如何將程式問題分解為各個部分，然後如何從獨立模組構建所需的程式，這對於通常由團隊合作的大型程式尤其重要。本書用 Java 實現了特定技術（對於不熟悉該語言的人，包含了簡要的 Java 介紹）。從較小的程式開始，以確保基本方法論的理解，然後本書展示如何將相同的技術應用於大型高品質程式設計。

適合的課程
程式設計方法論、軟體設計與開發、CS III（新興課程）、CS II（在較好的學校）、軟體工程（以程式設計為導向）。

目錄
1. 介紹。
分解與抽象。
抽象。
透過參數化的抽象。
透過規範的抽象。
抽象的種類。
本書的其餘部分。
練習。

2. 理解 Java 中的物件。
程式結構。
套件。
物件與變數。
可變性。
方法呼叫語義。
類型檢查。
類型層級。
轉換與重載。
派發。
類型。
原始物件類型。
向量。
流輸入/輸出。
Java 應用程式。
練習。

3. 程序抽象。
抽象的好處。
規範。
程序抽象的規範。
實現程序。
設計程序抽象。
總結。
練習。

4. 異常。
規範。
Java 異常機制。
異常類型。
定義異常類型。
拋出異常。
處理異常。
應對未檢查的異常。
使用異常進行編程。
反射與遮蔽。
設計問題。
何時使用異常。
檢查與未檢查的異常。
防禦性編程。
總結。
練習。

5. 數據抽象。
數據抽象的規範。
IntSet 的規範。
多項式抽象。
使用數據抽象。
實現數據抽象。
在 Java 中實現數據抽象。
IntSet 的實現。
多項式的實現。
記錄。
附加方法。
理解實現的幫助。
抽象函數。
表示不變式。
實現抽象函數和表示不變式。
討論。
數據抽象實現的屬性。
有益的副作用。
曝露表示。
對數據抽象的推理。
保持表示不變式。
對操作的推理。
在抽象層級的推理。
設計問題。
可變性。
操作類別。
充分性。
局部性與可修改性。
總結。
練習。

6. 迭代抽象。
Java 中的迭代。
指定迭代器。
使用迭代器。
實現迭代器。
生成器的表示不變式和抽象函數。
有序列表。
設計問題。
總結。
練習。

7. 類型層級。
指派與派發。
指派。
派發。
定義類型層級。
在 Java 中定義層級。
一個簡單的例子。
異常類型。
抽象類。
介面。
多重實現。
列表。
多項式。
子類型的意義。
方法規則。
屬性規則。
相等性。
類型層級的討論。
總結。
練習。

8. 多型抽象。
多型數據抽象。
使用多型數據抽象。
相等性重訪。
附加方法。
更多靈活性。
多型程序。
總結。
練習。

9. 規範。
規範與特定集。
規範的一些標準。
限制性。
一般性。
清晰性。
為什麼需要規範？
總結。
練習。

10. 測試與除錯。
測試
黑盒測試。
玻璃盒測試。
測試程序。
測試迭代器。
測試數據抽象。
測試多型抽象。
測試類型層級。
單元測試與整合測試。
測試工具。
除錯。
防禦性編程。
總結。
練習。

11. 需求分析。
軟體生命週期。
需求分析概述。
股票追蹤器。
總結。
練習。

12. 需求規範。
數據模型。
子集。
關係。
文本信息。
需求規範。
股票追蹤器的需求規範。
數據模型。
股票追蹤器規範。
搜尋引擎的需求規範。
總結。
練習。

13. 設計。
設計過程概述。
設計筆記本。
介紹部分。
抽象部分。
互動程式的結構。
開始設計。
方法討論。
繼續設計。
查詢抽象。
WorldTable 抽象。
完成。
FP 與 UI 之間的互動。
模組依賴圖與數據模型。
回顧與討論。
發明輔助工具。
指定輔助工具。
繼續設計。
設計筆記本。
自上而下的設計。
總結。
練習。

14. 設計與實現之間。
評估設計。
正確性與性能。
結構。
排序程式開發過程。
總結。
練習。

15. 設計模式。
隱藏物件創建。
精巧的黑客。
享元模式。
單例模式。
狀態模式。
橋接模式。
程序也應該是物件。
組合模式。
遍歷樹。
間接的力量。
發布/訂閱。
抽象控制。
總結。
練習。

詞彙表。
索引。 0201657686T04062001