《程序开发原理——抽象、规格与面向对象设计》书评.docVIP

《程序开发原理——抽象、规格与面向对象设计》书评 本书的英文书名并不起眼，Program Development in Java: Abstraction, Specification and Object-Oriented Design，使人很容易把它当成一本普通的Java编程入门书。但是，如果稍微细心一点，就会看到其副标题中的一些词汇在常见的讨论编程的书籍中并不多见。实际上，恰恰是这些术语说明了本书讨论的重点：“抽象”（Abstraction）、“规格说明”（Specification），还有我们比较熟悉的“面向对象设计”。人们都在讨论“产品质量的程序”，但如何构造出这样的程序？如何构造出由这样的程序组成的大型系统？以上术语代表了本书作者对这些问题的回答：为了做好“产品质量的程序”，我们必须关注“抽象”和“规格说明”。 如果了解一些计算机科学技术的发展历史，我们就会知道本书作者都是计算机科学技术界的知名专家，是国际公认的软件技术和相关理论研究领域最重要的开拓者。对面向对象技术有所了解的人都知道其中最重要的一个观念：子类（派生类）的对象能当成父类（基类）的对象使用，这就是有名的“Liskov替代原理”。计算机科学技术的初学者也会知道程序领域最重要的概念之一是“抽象数据结构”（ADT），而这一术语就出自John Gettag的开创性论文。本书的两位作者在20世纪80年代合著过一本对