Object-Oriented Programming: Design by Contract
Location
NOVI
Time
November 7, 10.15 - 12.00
Subject
Software Engineering Techniques.
Reading
Using Assertions in Java Technology
Design by Contract Part 1 and Part 2 online presentations
Examples
The examples from the lecture, both documentation and source files
Exercises
There are no exercises for this lecture
Slides
PDF
Links
Java Asserts (http://java.sun.com/j2se/1.5.0/docs/guide/language/assert.html)
Using Assertions in Java