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

定　價(jià)：￥48.00

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

購買這本書可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

第1章概述
1.1 分解和抽象
1.2 抽象
1.3 本書其他要旨
練習(xí)
第2章理解Java中的對(duì)象
2.1 程序結(jié)構(gòu)
2.2 包
2.3 對(duì)象和變量
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 實(shí)現(xiàn)過程
3.5 設(shè)計(jì)過程抽象
3.6 小結(jié)
練習(xí)
第4章異常
4.1 規(guī)格
4.2 Java異常機(jī)制
4.3 異常編程
4.4 設(shè)計(jì)問題
4.5 防御編程
4.6 小結(jié)
練習(xí)
第5章數(shù)據(jù)抽象
5.1 數(shù)據(jù)抽象的規(guī)格
5.2 使用數(shù)據(jù)抽象
5.3 實(shí)現(xiàn)數(shù)據(jù)抽象
5.4 附加方法
5.5 用于理解實(shí)現(xiàn)的一些幫助
5.6 數(shù)據(jù)抽象實(shí)現(xiàn)的屬性
5.7 推理數(shù)據(jù)抽象
5.8 設(shè)計(jì)問題
5.9 局部性和可更改性
5.10 小結(jié)
練習(xí)
第6章迭代抽象
6.1 Java中的迭代
6.2 迭代器規(guī)格
6.3 使用迭代器
6.4 實(shí)現(xiàn)迭代器
6.5 發(fā)生器的表示式不變量和抽象函數(shù)
6.6 有序列表
6.7 設(shè)計(jì)問題
6.8 小結(jié)
練習(xí)
第7章類型層次
7.1 賦值與分派
7.2 定義一個(gè)類型層次
7.3 用Java定義層次
7.4 一個(gè)簡(jiǎn)單的例子
7.5 異常類型
7.6 抽象類
7.7 接口
7.8 復(fù)合實(shí)現(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章測(cè)試與調(diào)試
10.1 測(cè)試
10.2 測(cè)試過程
10.3 測(cè)試迭代器
10.4 測(cè)試數(shù)據(jù)抽象
10.5 測(cè)試多態(tài)抽象
10.6 測(cè)試一個(gè)類型層次
10.7 單元和綜合測(cè)試
10.8 測(cè)試工具
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è)計(jì)
13.1 設(shè)計(jì)過程縱覽
13.2 設(shè)計(jì)筆記本
13.3 交互式程序的結(jié)構(gòu)
13.4 開始設(shè)計(jì)
13.5 對(duì)方法的討論
13.6 繼續(xù)進(jìn)行設(shè)計(jì)
13.7 查詢抽象
13.8 WordTable抽象
13.9 最后加工
13.10 FP和UI間的交互
13.11 模塊依賴圖表vs數(shù)據(jù)模型
13.12 回顧及討論
13.13 自頂向下的設(shè)計(jì)
13.14 小結(jié)
練習(xí)
第14章從設(shè)計(jì)到實(shí)現(xiàn)
14.1 評(píng)估一個(gè)設(shè)計(jì)
14.2 整理程序開發(fā)過程
14.3 小結(jié)
練習(xí)
第15章設(shè)計(jì)模式
15.1 隱藏對(duì)象創(chuàng)建
15.2 聰明的對(duì)策
15.3 橋接器模
15.4 過程也必須是對(duì)象
15.5 復(fù)合
15.6 間接的力量
15.7 發(fā)布/訂閱
15.8 小結(jié)
練習(xí)
術(shù)語表