Objecttechnologyisatitscorethecombinationoffourideas:astructuringmethod,a reliabilitydiscipline,anepistemologicalprincipleandaclassificationtechnique. 面向对象软件开发的经典著作,作者B.Meyer系著名面向对象程序设计语言Eiffel的设计者。书中对面向对象程序设计各方面均作了较深入的探讨,特别是关于DesignbyContract、SinglePointChoicePrinciple