程序开发原理：抽象规格与面向对象设计_在线百科全书查询

程序开发原理：抽象规格与面向对象设计

图书信息

作者简介

内容简介

图书信息

出版社: 电子工业出版社; 第1版 (2006年6月1日)

丛书名: 国外计算机科学教材系列

平装: 443页

开本: 16开

ISBN: 7121026937

条形码: 9787121026935

尺寸: 23.4 x 18.4 x 1.7 cm

重量: 1.9 Kg

作者简介

作者：(美)利斯科瓦

美国麻省理工学院电子工程与计算机科学系资深教授。她是美国国家工程院院士，在程序评议、分布式计算、程序设计方法论以及软件工程领域做出了卓越的贡献，曾与John Guttag合著了Abstraction and Specification in Program Dvevlopemt.

本书由著名编程理论专家所著，是美国麻省理工学院电子工程与计算机科学系的编程实践课程教材。书中讨论了怎样构建具有高可靠性、易于维护和快速修改的软件的开发方法，强调了软件的模块化开发思想，用丰富的实例告诉读者怎样进行模块化并合理地组织各种模块以构成大型软件系统的过程。该书的前8章首次提出编程领域中的一些十分有用的抽象概念，如过程抽象、迭代抽象以及最重要的数据抽象等。此外，本书通过大量的例子，用非形式化的规范来详细定义这些数据抽象，描述模块所需完成的任务，并定义了模块所需的性能边界条件。该书的后7章主要讲述了怎样利用抽象构建大型软件，主要侧重于软件工程的内容，基于类型层次结构提出对于数据抽象的调试、测试、需求分析、自顶向下和迭代的开发过程，还简要介绍了设计模式的概念。

这是一本传授思想的书籍，能使读者透过现象看到本质，从而掌握编写程序的关键。本书非常适合作为软件学院的教材，在低年级即可培养学生对于事物的抽象能力。此外，本书也非常适合软件开发人员参考。