面向对象式软件的构造PDF电子书下载

目 录 1

第一篇基本问题和基本原理 1

第一章软件质量的各个方面 3

1.1外部因素和内部因素 3

1.2外部质量因素 3

1.3软件维护问题 6

1.4关键质量因素 7

1.5本章的关键概念 8

1.6书目评注 8

第二章模块化 9

2.1 五个准则 9

2.2五个原理 15

2.3开放式原理和封闭式原理 19

2.4本章的关键概念 21

2.5书目评注 21

第三章获取可再用性的途径 23

3.1程序设计中的重复现象 23

3.2简单的途径 25

3.3对模块结构的五个需求 26

3.4例程 29

3.5包 30

3.6重载和类属 32

3.7本章的关键概念 34

3.8书目评注 34

4.2功能、数据和连续性 37

4.1处理与数据 37

第四章走向面向对象式道路 37

4.3 自顶向下的功能设计方法 38

4.4为什么要采用数据？ 44

4.5面向对象式设计 44

4.6如何找出对象 45

4.7对象的描述：抽象数据类型 46

4.8准确定义 52

4.9通向基于对象方法的七步 53

4.10本章的关键概念 54

4.11书目评注 55

第二篇面向对象式设计与编程技术 57

5.1 对象 59

第五章EIFFEL程序设计的基本要素 59

5.2类的初步印象 62

5.3类的使用 64

5.4例程 69

5.5引用语义与值语义 75

5.6从类至系统 78

5.7类与对象 81

5.8讨论 81

5.9本章的关键概念 87

5.10语法小结 87

第六章类属 91

6.1参数化类 91

6.2数组 93

6.6书目评注 95

6.5语法小结 95

6.4本章的关键概念 95

6.3讨论 95

第七章系统的软件构造方法 97

7.1断言的概念 97

7.2前置条件与后置条件 98

7.3软件可靠性合约 100

7.4类不变式与类正确性 108

7.5一些理论 112

7.6表示不变式 114

7.7函数里的副作用 115

7.8断言中的其它构造 122

7.9断言的用法 125

7.10处理故障：规范化异常 126

7.11讨论 135

7.12本章的关键概念 139

7.13语法小结 140

7.14书目评注 141

第八章EIFFEL进阶 143

8.1风格标准 143

8.2语法约定 145

8.3外部例程 146

8.4参数传递 147

8.5指令 148

8.6表达式 152

8.7字符串 155

8.8输入输出 155

8.10语法小结 156

8.9本章的关键概念 156

第九章类接口的设计 159

9.1表与表元素 159

9.2 对象机 166

9.3异常情况的处理 173

9.4选择性输出 177

9.5类的归档 178

9.6讨论 185

9.7本章的关键概念 188

9.8语法小结 189

9.9书目评注 189

第十章继承入门 191

10.1多边形和矩形 191

10.2继承的意义 201

10.3延迟类 205

10.4多继承 211

10.5讨论 220

10.6本章引入的主要概念 221

10.7语法小结 222

10.8书目评注 222

第十一章有关继承的另外一些问题 223

11.1继承和断言 223

11.2重定义与重命名 226

11.3 Eiffel类型系统 228

11.4用关联声明 232

11.5继承和信息隐藏 237

11.6重复继承 239

11.9书目评注 244

11.7本章引入的主要概念 244

11.8语法小结 244

第十二章面向对象设计：实例研究 245

12.1一个窗口系统的概述 245

12.2取消和重做 248

12.3全屏幕输入系统 253

第十三章常数和共享的对象 267

13.1简单类型的常数 267

13.2常数的使用 268

13.3类类型的常数 269

13.4串类型的常数 275

13.5讨论 276

13.6本章引入的主要概念 280

13.8书目评注 281

13.7语法小结 281

第十四章面向对象的设计技术 283

14.1设计宗旨 283

14.2找到类 285

14.3接口技术 287

14.4继承技术 288

14.5你宁愿买还是宁愿继承？ 291

14.6书目评注 292

第十五章实现：Eiffel程序设计环境 293

15.1 实现 293

15.2编译和配置管理 294

15.3生成C软件包 298

15.4性能问题 299

15.5环境的其它方面 301

第十六章存储管理 309

16.1 对象 309

16.2临时方法 313

16.3存储单元回收的问题 314

16.4程序员控制存储单元释放 314

16.5 自我管理方法 315

16.6自动存储管理 319

16.7 EIFFEL存储管理方法 321

16.8本章的关键概念 323

16.9书目评注 324

第三篇面向对象技术在其它环境中的应用 325

17.2采用PASCAL的面向对象式程序设计 327

17.1语言支持的程度 327

第十七章经典语言中的面向对象式程序设计 327

17.3 FORTRAN 328

17.4面向对象的程序设计与C 329

17.5书目评注 334

第十八章面向对象式程序设计与ADA 335

18.1程序包 335

18.2一个堆栈的实现 336

18.3表述的隐藏——私有域 339

18.4异常处理 341

18.5任务 345

18.6本章的关键概念 346

18.7书目评注 346

19.1 类属 347

第十九章类属与继承 347

19.2继承 353

19.3用类属模拟继承 356

19.4用继承模拟类属 357

19.5 EIFFEL中的类属机制与继承机制 365

19.6讨论 367

19.7本章的关键概念 367

19.8书目评注 368

第二十章其它的面向对象式语言 369

20.1 SIMULA语言 369

20.2 SMALLTALK 381

20.3 C的扩展 384

20.5其它语言 386

20.4 LISP的扩展 386

20.6书目评注 387

第二十一章需进一步解决的问题 389

21.1可再用性的实现 389

21.2持续性 390

21.3并发性 390

21.4书目评注 391

第四篇附录 393

附录A Eiffel库摘录 395

A.1数组 395

A.2通用表 397

A.3数组表 404

A.4可链接元素 406

A.5链接表 408

A.6双向表 415

A.7树与结点 418

附录B Eiffel快速导引 423

B.1设计原理 423

B.2类 423

B.3断言 426

B.4异常 428

B.5类属类 429

B.6多继承 429

B.7多组合形态 430

B.8延迟类 432

B.9实现 433

B.10环境 434

附录C Eiffel文法 437

C.1词法规则 437

C.2语法规格说明 437

C.3运算符优先 442

附录D Eiffel保留字和特殊符号 443

D.1 保留字 443

D.2 特殊符号 443

附录E输入、输出与字符串 445

E.1 标准输入与标准输出 445

E.2文件 445

E.3字符串 449

附录F Eiffel语法图 455

参考文献 461