最病 以引言 口 Design by Contract(DbC)契约式设计 口方法学层面的思想 ■以尽可能小的代价开发出可靠性出众的软件系统 ■Eif语言的直接支持 口 Bertrand Meyer:DbC是构建面向对象软件系统方法 的核心! 口 James mckim:“只要你会写程序,你就会写契约 Institute of Computer Software 2021/1/30 Nanjing University引言  Design by Contract (DbC) 契约式设计  方法学层面的思想 ◼ 以尽可能小的代价开发出可靠性出众的软件系统 ◼ Eiffel语言的直接支持  Bertrand Meyer：DbC是构建面向对象软件系统方法 的核心！  James McKim：“只要你会写程序，你就会写契约” 2021/1/30 Institute of Computer Software Nanjing University 3