Outline

• Assertions
• Preconditions
• Postconditions
• Invariants
• Exceptions
• Encapsulation
• Modularity
• Information hiding
• Objects
• Inheritance
• Polymorphism

[Back to Design by Contract and Object-Oriented Programming]

[Forward to slide 2]