::历史.这个术语最早由伯特兰·迈耶于1986年提出。他设计了Eiffel程式语言来实现这种程式设计方法，在《物件导向软体建构》（Object-Oriented Software Construction）一书中，又提出两个后继版本。2003年，由伯特兰·迈耶创建的Eiffel software公司，申请将"Design by Contract"作为商标，于2004年通过。契约式设计应用了形式验证、Formal specification与霍尔逻辑的理论。
描述.DbC的核心