Berterand Meyer为Eiffel语言发展了按合约设计的概念。这是一种简单而强大的技术，他关注的是用文档记载并约定软件模块的权力与责任，以确保程序正确性。程序的正确性就是做它声明要做的事情的程序。用文档记载这样的声明，并进行效验，是按合约设计的核心所在。语言发展了按合约设计的概念。这是一种简单而强大的技术
阅读背景：
《程序员修炼之道：从小工到专家》读后感4
来源：互联网
分享到：
