摘要: 第四章 注重实效的偏执 21按合约设计 Bertrand Meyer为 Eiffel 语言发展了按合约设计的概念一。这是一种简单而强大的技术,它关注的是用文档记载(并约定)软件模块的权利与责任,以确保程序正确性,什么是正确的程序?不多不少,做它声明要用文档记载这样的声明,并进行校验,是按合约设计(简 阅读全文
posted @ 2022-10-31 17:05 Men! 阅读(24) 评论(0) 推荐(0) 编辑