No Interface Without Contract? – Finding Pre- and Postconditions

Part 3 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part is about pre- and postconditions of a sample class which will be used by further parts.