Design by Contract原则与实践

本书通过Eiffel和Java实例，阐述了“契约式设计（Design by Contract）”的思想原则和应用方法，帮助读者掌握如何在面向对象软件设计过程中应用契约。