(infoQ)
.NET 4の新機能を探る：コード契約
http://www.infoq.com/jp/news/2008/11/Code-Contracts

.NET 4での契約についてのより詳しい情報については、このPDC基調講演(リンク)の前半部分をチェック

うまく使うと大規模開発の際の基盤の開発とかに適用できそうですね。
ちょっと概念が難しいので勉強しまくる必要がありそうですが・・・