《面向对象式软件的构造》

目 录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 FORTRAN328

17.4面向对象的程序设计与C329

17.5书目评注334

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

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 SMALLTALK381

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