Design by Contract Presentation