Code Contracts en MSDN Magazine
Melitta Andersen, Program Manager del equipo BCL del CLR ha escrito un interesante artículo sobre Code Contracts en MSDN Magazine que merece la pena leer.
El artículo, en inglés, trata sobre las partes principales de Code Contracts, en concreto, sobre sus partes, la librería, las precondiciones y las postcondiciones, etc.
Cabe destacar que el artículo está basado en la versión beta de Microsoft .NET Framework 4.0, por lo que el artículo puede quedar inválido cuando salga la versión definitiva de .NET Framework 4.0.
Referencias:
Acceso al artículo de Melitta Andersen (en inglés) – versión normal.
Acceso al artículo de Melitta Andersen (en inglés) – versión imprimible.
Artículo sobre precondiciones y Microsoft Code Contracts V1.0.
Acceso al proyecto en Microsoft Research (versión actual, v1.2.20518.12).