The series of lecture recordings can be found in this video list.

The series of lab session recordings can be found in this video list.

• Use of Eiffel Studio for DbC and TDD
  • Important: Follow each video with its associated section in this document.
    • This document contains links to the corresponding tutorial videos.
  1. Create a New Project and Set Clusters
  2. Add the ACCOUNT Class
  3. Add a Class for Testing ACCOUNT
  4. How a Test Case Fails
  5. Use Breakpoints and Debugger
  6. Specify Contracts for Withdraw
  7. Add Transaction and Date into Context
  8. Uniform Access of Account Balance
• Generic Parameters and the Iterator Pattern
  • Important: Follow this video with this document.
  1. A Book of Any vs. A Generic Book
  2. Making the Generic Book Iterable
• Information Hiding and the Iterator Pattern
  • Important: Follow this video with this document.
  1. Information Hiding -- An Online Shopping System
  2. Making the Cart of Orders Iterable