Code Contracts #6: Modelling constraints and state

This article shows you what it means to model constraints on class properties (one property or properties, that depend on each other) explicitely and the advantages that come with that. Moreover it shows shortly how Code Contracts can be used to achieve this task.