from:http://www.infoq.com/cn/news/2008/12/Code-Contracts
国内自从05/06年左右引入契约编程的概念之后,就一直缺乏很强的关注,而这个概念在国外其实已经潜移默化为基本设计概念了
关于异常、断言、防御性编程比较好的一篇文章是:
http://www.cnblogs.com/hBifTs/articles/9293.html
在Bjarne Stroustrup的访谈中,谈及对象设计时,也涉及到契约编程中的不变式概念(http://www.kuqin.com/language/20071113/2340.html):
类必须实现不变式(Classes Should Enforce Invariants) Bjarne Stroustrup: 我的基本原则式真正的类必须有一个接口,有一个隐含的不变式(invariant)