Software Development Tutorials and Videos

Software Development Videos and Tutorials: Java, .NET, Ruby, Python, JavaScript, Agile, Software Testing
 
Software Development Tutorials and Videos

Getting started with Code Contracts in Visual Studio 2008

Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts.  The Code Contracts library can be downloaded for …