Pt. A. Object-oriented programming. 1. Object-oriented programming. 2. Reusable software. 3. System design -- Pt. B. The Eiffel language. 4. Data flow. 5. Routines. 6. Control flow. 7. Designing for reuse. 8. Data structures -- Pt. C. Inheritance. 9. Single inheritance. 10. Polymorphism. 11. Complex inheritance -- Pt. D. Assertions. 12. Programming by contract. 13. Assertions on routines. 14. Assertions inside routines. 15. Assertions on classes. 16. Assertions and inheritance. 17. Exceptions -- Pt. E. The BANK case study. 1. A class: ACCOUNT. 2. A system: BANK, CUSTOMER, and ACCOUNT. 3. Selection and iteration. 4. Data structures. 5. Single inheritance. 6. Polymorphism. 7. Complex inheritance. 8. The complete BANK system -- App. A Eiffel syntax -- App. B Reserved words, special characters, and operators --App. C Charts -- App. D Design principles -- App. E Run-time assertion monitoring.