Slide 1Copyright W. Howden1 Programming by Contract CSE 111 6/4/2014 Slide 2 Contracts Client and Supplier Contract: –if client satisfies certain preconditions, then the…