Object-Oriented Programming

Time

November 4, 14.30-16.15

Subject

Software Engineering Techniques.

Readings

• Chapter 15 "Discovering Problems" pages 930-943 (The section "Improving Reliability with Assertions).

• Java 1.4 Asserts (http://java.sun.com/j2se/1.4/docs/guide/lang/assert.html)

• Design by Contract http://www.eiffel.com/doc/manuals/technology/contract/page.html

Slides

PDF