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
  1. A Book of Any vs. A Generic Book
     • *Important: Follow this video with this document. - Making the Generic Book Iterable * Information Hiding and the Iterator Pattern - Information Hiding -- An Online Shopping System Important**: Follow this video with this document.
  2. Making the Cart of Orders Iterable