Technology Back-2-Basics: Code Contracts

1. Back-2-Basics: Code Contracts 2. 3. dotNetDave Conference DVD!Packed full of:Videos of all sessions from 2010 & 2011(1)!Slide decks from 2011 & 2010!Demo projects…

Documents Doing more with contracts Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Liu

The three questions What does it expect? What does it promise? What does it maintain? Programming in the Large, 2004 Progress in software quality Tools, techniques, methods,…