程序開發(fā)原理：抽象.規(guī)格與面向?qū)ο笤O(shè)計

定　價：￥48.00

作　者：	（美）利斯科瓦（Liskov,B.）等著，裘健譯
出版社：	電子工業(yè)出版社
叢編項：	國外計算機科學(xué)教材系列
標(biāo)　簽：	程序(設(shè)計)理論

購買這本書可以去

ISBN：	9787121032622	出版時間：	2006-10-01	包裝：	膠版紙
開本：	16	頁數(shù)：	275	字?jǐn)?shù)：

內(nèi)容簡介

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

作者簡介

　?。溃├箍仆撸↙iskov，B.），美國麻省理工學(xué)院電氣工程與計算機科學(xué)系資深教授。她是美國國家工程院院士，在程序語言、分布式計算、程序設(shè)計方法論以及軟件工程領(lǐng)域做出了卓越的貢獻，曾與John Guttag合著了“Abstraction and Specification in Program Development”。

圖書目錄

第1章概述
1.1 分解和抽象
1.2 抽象
1.3 本書其他要旨
練習(xí)
第2章理解Java中的對象
2.1 程序結(jié)構(gòu)
2.2 包
2.3 對象和變量
2.4 類型檢查
2.5 分派
2.6 類型
2.7 數(shù)據(jù)流輸入/輸出
2.8 Java應(yīng)用程序
練習(xí)
第3章過程抽象
3.1 抽象的好處
3.2 規(guī)格
3.3 過程抽象的規(guī)格
3.4 實現(xiàn)過程
3.5 設(shè)計過程抽象
3.6 小結(jié)
練習(xí)
第4章異常
4.1 規(guī)格
4.2 Java異常機制
4.3 異常編程
4.4 設(shè)計問題
4.5 防御編程
4.6 小結(jié)
練習(xí)
第5章數(shù)據(jù)抽象
5.1 數(shù)據(jù)抽象的規(guī)格
5.2 使用數(shù)據(jù)抽象
5.3 實現(xiàn)數(shù)據(jù)抽象
5.4 附加方法
5.5 用于理解實現(xiàn)的一些幫助
5.6 數(shù)據(jù)抽象實現(xiàn)的屬性
5.7 推理數(shù)據(jù)抽象
5.8 設(shè)計問題
5.9 局部性和可更改性
5.10 小結(jié)
練習(xí)
第6章迭代抽象
6.1 Java中的迭代
6.2 迭代器規(guī)格
6.3 使用迭代器
6.4 實現(xiàn)迭代器
6.5 發(fā)生器的表示式不變量和抽象函數(shù)
6.6 有序列表
6.7 設(shè)計問題
6.8 小結(jié)
練習(xí)
第7章類型層次
7.1 賦值與分派
7.2 定義一個類型層次
7.3 用Java定義層次
7.4 一個簡單的例子
7.5 異常類型
7.6 抽象類
7.7 接口
7.8 復(fù)合實現(xiàn)
7.9 子類型的含義
7.10 類型層次的討論
7.11 小結(jié)
練習(xí)
第8章多態(tài)抽象
8.1 多態(tài)數(shù)據(jù)抽象
8.2 使用多態(tài)數(shù)據(jù)抽象
8.3 重新訪問相等性
8.4 附加方法
8.5 更多靈活性
8.6 多態(tài)過程
8.7 小結(jié)
練習(xí)
第9章規(guī)格
9.1 規(guī)格和規(guī)格滿足集
9.2 規(guī)格的某些標(biāo)準(zhǔn)
9.3 為什么要有規(guī)格
9.4 小結(jié)
練習(xí)
第10章測試與調(diào)試
10.1 測試
10.2 測試過程
10.3 測試迭代器
10.4 測試數(shù)據(jù)抽象
10.5 測試多態(tài)抽象
10.6 測試一個類型層次
10.7 單元和綜合測試
10.8 測試工具
10.9 調(diào)試
10.10 防御性編程
10.11 小結(jié)
練習(xí)
第11章需求分析
11.1 軟件生命周期
11.2 需求分析總結(jié)
11.3 股票跟蹤系統(tǒng)
11.4 小結(jié)
練習(xí)
第12章需求規(guī)格
12.1 數(shù)據(jù)模型
12.2 需求規(guī)格
12.3 股票跟蹤系統(tǒng)的需求規(guī)格
12.4 搜索引擎的需求規(guī)格
12.5 小結(jié)
練習(xí)
第13章設(shè)計
13.1 設(shè)計過程縱覽
13.2 設(shè)計筆記本
13.3 交互式程序的結(jié)構(gòu)
13.4 開始設(shè)計
13.5 對方法的討論
13.6 繼續(xù)進行設(shè)計
13.7 查詢抽象
13.8 WordTable抽象
13.9 最后加工
13.10 FP和UI間的交互
13.11 模塊依賴圖表vs數(shù)據(jù)模型
13.12 回顧及討論
13.13 自頂向下的設(shè)計
13.14 小結(jié)
練習(xí)
第14章從設(shè)計到實現(xiàn)
14.1 評估一個設(shè)計
14.2 整理程序開發(fā)過程
14.3 小結(jié)
練習(xí)
第15章設(shè)計模式
15.1 隱藏對象創(chuàng)建
15.2 聰明的對策
15.3 橋接器模
15.4 過程也必須是對象
15.5 復(fù)合
15.6 間接的力量
15.7 發(fā)布/訂閱
15.8 小結(jié)
練習(xí)
術(shù)語表