作者	BertrandMeyerMeyer
出版社
出版时间	1999-07-01

特色：

本书是《大学计算机教育丛书》之一，作者在本书中从软件的构造方法角度详细论桩这了软件的构造模块的品质因素和构造高质量模块的原则、规则和原理，又从数学上抽象数据类型对类型系统描述定义论述了抽象模块和对象模块的正确性、鲁棒性问题，以及类型系统的类属、继承、封装、多态等面向对象方法的重要概念和机制。作者对在面向对象方法中目前存在的观点和混乱进行了一致性论述，对完善面向对象方法论提出了鲜明的观点。