Design by Contract

03, P2: Programming 2 — Object-Oriented Design