In this article Granville Barnett covers code contracts using Spec#, the code contracts library shipping with .NET 4.0 ...