面向?qū)ο筌浖_發(fā)原理

第一部分  面向?qū)ο笙到y(tǒng)設(shè)計(jì)
第1章   簡介 1
1.1   主題與變化 1
1.1.1   對(duì)象術(shù)語 3
1.1.2   面向?qū)ο蟮挠?jì)算 4
1.1.3   按契約設(shè)計(jì) 7
1.2   編程范例  10
1.2.1   過程化程序設(shè)計(jì) 11
1.2.2   數(shù)據(jù)抽象 12
1.2.3   面向?qū)ο缶幊?12
1.3   面向?qū)ο蟮能浖芷?13
1.3.1   需求分析 15
1.3.2   設(shè)計(jì) 17
1.3.3   實(shí)現(xiàn) 18
1.4   超越面向?qū)ο髥?20
1.5   小結(jié) 22
習(xí)題 23
進(jìn)一步讀物 23
第2章   習(xí)慣用法和模式 24
2.1   多態(tài)性 24
2.1.1   Java中的繼承和委托 25
2.1.2  C++中的多態(tài)性 27
2.1.3   C++中的斷言 28
2.1.4   規(guī)范類的用法 30
2.2   hush的用法 31
2.2.1   句柄/主體用法 34
2.2.2   虛擬自引用 36
2.2.3   動(dòng)態(tài)角色轉(zhuǎn)換 37
2.2.4    hush編程的技巧 39
2.3   設(shè)計(jì)模式的分類 41
2.3.1   創(chuàng)建性模式 42
2.3.2   結(jié)構(gòu)模式 43
2.3.3   行為模式 44
2.4   事件驅(qū)動(dòng)的計(jì)算 46
2.4.1   reactor模式 46
2.4.2   抽象事件系統(tǒng) 48
2.5   小結(jié) 51
習(xí)題 52
進(jìn)一步讀物 53
第3章   軟件工程的觀點(diǎn) 54
3.1   軟件開發(fā)方法 54
3.1.1   建模 56
3.1.2   需求工程—綜合法 57
3.1.3   分析和設(shè)計(jì)方法—比較研究 58
3.2   標(biāo)識(shí)對(duì)象 60
3.2.1   啟發(fā)式建模 61
3.2.2   分派責(zé)任 63
3.2.3   對(duì)象角色和交互 65
3.3   契約 66
3.3.1   說明契約化責(zé)任 66
3.3.2   契約的求精 69
3.3.3   運(yùn)行時(shí)一致性檢查 71
3.4   形式化方法 71
3.5   小結(jié) 72
習(xí)題 74
進(jìn)一步讀物 74
第4章   應(yīng)用開發(fā) 75
4.1   drawtool應(yīng)用 75
4.2   設(shè)計(jì)準(zhǔn)則 86
4.2.1   單個(gè)類的設(shè)計(jì) 87
4.2.2   繼承和不變性 87
4.2.3   風(fēng)格的客觀意義 88
4.3   從規(guī)格說明到現(xiàn)實(shí) 90
4.3.1   結(jié)構(gòu)封裝與行為封裝  90
4.3.2   基于模型的規(guī)格說明 91
4.3.3   抽象系統(tǒng)和事件 95
4.4   小結(jié) 98
習(xí)題 99
進(jìn)一步讀物 99
第二部分  面向?qū)ο蟮恼Z言和系統(tǒng)
第5章   面向?qū)ο蟪绦蛟O(shè)計(jì)語言 101
5.1   對(duì)象范例 101
5.1.1   面向?qū)ο笳Z言的分類 103
5.1.2   替代對(duì)象模型 105
5.1.3   Lisp, C和Prolog的對(duì)象擴(kuò)展 105
5.1.4   腳本語言—與Java的集成 107
5.2   Smalltalk, Eiffel, C++和Java的比較 108
5.2.1   比較的標(biāo)準(zhǔn) 109
5.2.2   語言特征 110
5.3   面向?qū)ο笳Z言的設(shè)計(jì)維度 113
5.3.1   基于對(duì)象與面向?qū)ο?113
5.3.2   關(guān)于正交化方法—類型擴(kuò)展 114
5.3.3   多范例語言—邏輯程序設(shè)計(jì) 116
5.3.4    主動(dòng)對(duì)象—同步Java / C++ 118
5.4   原型-委托與繼承的比較 120
5.4.1   共享的替代形式 120
5.4.2   實(shí)現(xiàn)技巧—Self 122
5.5   元級(jí)體系結(jié)構(gòu) 123
5.6   小結(jié) 125
習(xí)題 127
進(jìn)一步讀物 127
第6章   組件技術(shù) 128
6.1   對(duì)象與組件 128
6.1.1   定義 128
6.1.2   技術(shù)矩陣 129
6.1.3   組件神話 130
6.2   互操作性的標(biāo)準(zhǔn) 131
6.2.1   對(duì)象鏈接與嵌入—COM  132
6.2.2   對(duì)象請(qǐng)求代理—CORBA 132
6.2.3   持久對(duì)象—ODMG 134
6.3   Java平臺(tái)—技術(shù)革新 136
6.4   一個(gè)基于Internet的工作組應(yīng)用程序 138
6.5   crush—用CORBA擴(kuò)展hush 139
6.6   小結(jié) 148
習(xí)題 149
進(jìn)一步讀物 149
第7章   軟件體系結(jié)構(gòu) 150
7.1   體系結(jié)構(gòu)的元素 150
7.2   實(shí)例研究—多媒體特征檢測 152
7.3   交叉邊界 158
7.3.1   嵌入式邏輯—跨范例邊界 159
7.3.2   本機(jī)對(duì)象—跨語言邊界 160
7.3.3   Java和C++的結(jié)合 164
7.4   體系結(jié)構(gòu)的模式與風(fēng)格 168
7.4.1    從技術(shù)到風(fēng)格 168
7.4.2   實(shí)例研究—可視化的角度 169
7.5   交叉平臺(tái)開發(fā) 171
7.6   小結(jié) 172
習(xí)題 173
進(jìn)一步讀物 174
第三部分  面向?qū)ο蠼５幕A(chǔ)
第8章   抽象數(shù)據(jù)類型 175
8.1   抽象和類型 175
8.1.1   編程語言中的抽象 175
8.1.2   基本觀點(diǎn)—類型作為約束條件 176
8.1.3   OOP類型的目標(biāo) 178
8.2   代數(shù)規(guī)范說明 179
8.2.1   特征—生成器和觀察器 180
8.2.2   等式—規(guī)定約束條件 182
8.2.3   初始代數(shù)語義 184
8.2.4   作為代數(shù)的對(duì)象 187
8.3   分解—模塊與對(duì)象 190
8.3.1   抽象接口 191
8.3.2   表示和實(shí)現(xiàn) 192
8.3.3   添加新生成器 194
8.3.4   添加新觀察器 196
8.4   類型與類 198
8.5   小結(jié) 201
習(xí)題 202
進(jìn)一步讀物 202
第9章   多態(tài)性 203
9.1   抽象繼承 203
9.2   子類型關(guān)系 205
9.2.1   作為集合的類型 205
9.2.2   子類型細(xì)化關(guān)系 206
9.2.3   作為記錄的對(duì)象 208
9.3   多態(tài)性的風(fēng)格 210
9.4   類型抽象 212
9.4.1   簡單類型演算 214
9.4.2   交叉類型 217
9.4.3   受限多態(tài)性 220
9.5   存在類型—隱藏 223
9.6   自引用 225
9.7   小結(jié) 230
習(xí)題 232
進(jìn)一步讀物 232
第10章   行為求精 233
10.1   作為行為的類型 233
10.2   檢驗(yàn)行為屬性 235
10.2.1   狀態(tài)轉(zhuǎn)換 235
10.2.2   斷言邏輯 236
10.3   行為概念 238
10.4   作為行為類型的對(duì)象 241
10.4.1   抽象和表示  241
10.4.2   對(duì)應(yīng)關(guān)系 244
10.5   說明行為組成 246
10.6   小結(jié) 250
習(xí)題 251
進(jìn)一步讀物 252
第四部分  面向?qū)ο髴?yīng)用框架
第11章   商務(wù)處理再設(shè)計(jì) 253
11.1    商務(wù)對(duì)象—San Francisco框架 253
11.2   商務(wù)處理模型 256
11.2.1   基于邏輯的模型 256
11.2.2   商務(wù)處理模擬 257
11.2.3   實(shí)例—貸款需求 259
11.3   面向?qū)ο竽M 260
11.4   可視化支持 267
11.4.1   有多少用戶, 就有多少視角 268
11.4.2   DIVA—分布式可視化體系結(jié)構(gòu) 269
11.5   從遺留應(yīng)用中遷移 271
11.6   小結(jié) 272
習(xí)題 273
進(jìn)一步讀物 274
第12章   Web應(yīng)用 275
12.1   對(duì)象和Web 275
12.1.1   趨勢和技術(shù) 276
12.1.2   Object Web—CORBA/Java與微軟
對(duì)抗 278
12.2   Web程序設(shè)計(jì)— API的探索 280
12.2.1   計(jì)算模型 280
12.2.2   智能代理 282
12.3   DejaVU 的經(jīng)驗(yàn)—Web上的音樂演奏 284
12.4   軟件體系結(jié)構(gòu)回顧 289
12.5   小結(jié) 291
習(xí)題 292
進(jìn)一步讀物 292
附    錄
附錄A   Smalltalk語言 293
附錄B   Eiffel語言 298
附錄C   C++語言 302
附錄D   Java語言 309
附錄E   DLP語言 315
附錄F   統(tǒng)一建模語言 320
附錄G   接口定義語言—IDL 324
附錄H   Hello（CORBA）Universe 327
附錄I   軟件開發(fā)項(xiàng)目 336
附錄J   習(xí)題答案 338
參考文獻(xiàn) 345