Ta上传的资源 (0)

「契约式设计」的概念是OO软件系统化构建方法的中心所在，此概念已深植于Eiffel方法中。这篇文章阐述契约式设计的一些关键思想。 我们认为本文中介绍的技术与O－O技术的其他概念，如类、物体/对象、继承性、多态性以及动态连接同样重要，尽管至今只有少量的O-O文献专门论及于此。（见此文的参考文献）。 阅