tion）一书中，又提出两个后继版本。2003年，由伯特兰·迈耶创建的Eiffel software公司，申请将"Design by Contract"作为商标，于2004年通过。契约式设计应用了形式验证、Formal specification与霍尔逻辑的理论。
描述.DbC的核心思想是对软件系统中的元素之间相互合作以及“责任”与“权利”的比喻。这种比喻从商业活动中“客户”与“供应商”达成“契约”而得来。例如：同样的，如果在面向对象程序设计中一个类的函数提供了某种功能，