Design by Contract and
Object-Oriented Programming

12 February, 1998

Infrared Processing Analysis Center, Pasadena, CA

by Michael Brundage

The slides:

1. Outline
2. Secret Agent Functions!
3. Never do the impossible: Assert
4. Good Assertions
5. Bad Assertions
6. The One Year Bug
7. The Other Parts of Design by Contract
8. Using Precondition and Postcondition
9. Benefits of Design by Contract
10. Exceptions
11. Matrix Example
12. Object-Oriented Programming
13. More Object-Oriented Programming
14. RT Conceptual Diagram (from last talk)
15. Final Source Hierarchy (from last talk)
16. Coming up next...

Indispensible references:

• For a brief intro to Design by Contract:
  UML Distilled. Martin Fowler, Addison-Wesley: 1997
  ISBN#0-201-32563-2
  
• For a good overview of OOP:
  The introductory section of the Java tutorial
  http://java.sun.com/docs/books/tutorial/java/concepts/index.html

Other useful references:

• Code Complete. Steve McConnell, Microsoft Press: 1993.
  ISBN#1-55615-484-4
  
• Other Java documents:
  http://java.sun.com/docs/index.html