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