Bill Venners: Could you give an overview of Design by Contract?

• 你可以概括描述一下契约式设计吗?