In the 1990s, Bertrand Meyer first introduced the concept of Design by Contract (DbC) into the technology of Object-Oriented Programming, and has constructed a programming named Eiffel to support it comprehensively.

• 20世纪90年代,Bertrand Meyer首次将契约式设计(Design by Contract, DbC)理念引入了面向对象编程技术中,并且在其构建的Eiffel语言中进行了全面的支持。