內容介紹《Design by Contract原則與實踐》是國內第一本系統闡述“契約式設計”思想和方法的譯作,深刻理解和充分發揮契約在面向對象軟體設計中的作用。《Design by Contract原則與實踐》通過Eiffel、Java實例透徹分析DbC思想方法。引入DbC六大原則和六大準則,指導你的套用實踐。精闢分析DbC在C/C++語言中的套用。