Design by Contract Content on InfoQ
Articles about Design by Contract
Code Contracts in C#
by
Jon Skeet
Posted on
Apr 14, 2010
This article discusses the concepts and ideas of Code Contracts and the way they are handled in C#. Unless you happen to have used a language supporting Design by Contract before, you may sometimes find yourself unsure of how to proceed with Code Contracts. If you're using it in conjunction with Test Driven Development, what should you write first - the contract or the implementation?
Presentations about Design by Contract
Design by Contract (DbC)
by
Joel Hebert
Posted on
Dec 29, 2011
Joël Hébert introduces and demoes Design by Contract’s main concepts –preconditions, postconditions, object invariants- showing their benefits in creating more robust code.
TDD in a DbC World
by
Greg Young
Posted on
Sep 28, 2009
After presenting some basics of Design by Contract using Microsoft’s SpecSharp framework, Greg Young explains how we can keep the Test First mentality in a Contract First world.
News about Design by Contract
Code Contracts are Making Slow Progress by Jonathan Allen Posted on Dec 02, 2009
Details on Using Code Contracts by Abel Avram Posted on Feb 26, 2009
Code Contracts for .NET Is Available for Download by Abel Avram Posted on Feb 24, 2009
"Classic" versus "Mockist" TDD, Distinction Real? by Mike Bria Posted on Jan 22, 2009
