In this article, Dino Esposito reviews code contracts in .NET using sample Visual Studio 2008 applications. ...