Vertragssicherheit: Design by Contract in .Net 4 02.04.19 Herbstcampus 2009 in Nürnbergby Manfred Steyer, GDE