JoJo: Design by Contract [阅读: 323] 2005-07-01 10:07:51 一种注重程序质量的开发方法。DbC强迫程序员注重程序质量,像那种不检查输入有效性的代码在构建阶段很容易被检查出来。