摘要:
按合约设计---DBC(Design By Contract)是一种简单而强大的技术,它关注的是用文档记载(并约定)软件模块的权利与责任,以确保程序正确性.简单的说,就是用文档记载这样的声明,并进行校验,以确保程序能做它声明要做的事情. Eiffel 发展了这种概念并很好的实现了它,那像Java & .NEt这样的更流行语言能否支持DBC呢?查了一下资料,Java使用iContra... 阅读全文
posted @ 2004-06-07 14:31 YellowWee(端木柒) 阅读(1557) 评论(0) 推荐(0) 编辑