什么是DbC

什么是DbC?

Design by Contract(DbC,契约式设计)是面向对象软件大师Bertrand Meyer对软件构造方法的一个重大贡献,无论是在形式化的数学证明中,还是在实践运用中,都被证明是大幅改善软件工程质量的有效手段。该方法在Eiffel编程语言中获得直接支持,并且可以通过辅助工具在Java语言中运用。

《Design by Contract原则与实践》
Richard Mitchell  Jim Mckim 著  孟岩 编译
2003年10月出版
本书凝聚作者多年的实践和教学经验,通过Eiffel和Java的实例阐述了DBC的主要原则,并教读者如何实践这些原则,撰写优质高效的契约。译者孟岩还特别撰写了《契约式设计的理解及其在C/C++中的应用》作为本书的附录,讨论了DBC在C/C++语言中的应用。 

你可能感兴趣的:(java,编程,语言,工具,出版)