Code Contracts

Code Contracts - это .NET-реализация контрактного программирования (Design by Contract (DbC) или Programming by Contract).

Доступны версии: Standard Edition и VSTS Edition (4.8 MB).

Контракты позволяют определить правила: предусловия, постусловия и инварианты. Проверка правил выполняется в момент компиляции или в runtime (информация о нарушениях передается в static обработчик события Contract.ContractFailed).
Также контракты позволяют автоматически генерировать документацию.

Для использования System.Diagnostics.Contracts.Contract к проекту надо подключить сборку C:\Program Files\Microsoft\Contracts\PublicAssemblies\v3.5\Microsoft.Contracts.dll

Code Contracts входит в состав BCL in .NET 4.0.
В основе Code Contracts лежит Spec# (разработан в Microsoft Research).

см. Contracts FAQ и DevLabs: Code Contracts for .NET