「契约式设计」的概念是OO软件系统化构建方法的中心所在，此概念已深植于Eiffel方法中。这篇文章阐述契约式设计的一些关键思想。 我们认为本文中介绍的技术与O－O技术的其他概念，如类、物体/对象、继承性、多态性以及动态连接同样重要，尽管至今只有少量的O-O文献专门论及于此。（见此文的参考文献）。 阅读本文能从理论上理解这种方法，如果要获得这种方法的实际经验，请看 Eiffel环境，它直接实现了本文提到的这些思想。 注意：郑重提醒一下不遵循本文所阐述的原则的实际后果，