软件设计方法--契约式设计Design by contract

契约式设计也可以叫做 programming by contract 或contract first development， 1986年Bertrand Meyer在Eiffel编程语言中提出的术语。
现在Visual Studio 2005 Team Edition也支持契约式设计。