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
• Use of Generic Parameters
  • Important: Follow this video with this document.
  1. A Book of Any vs. A Generic Book
• Application of Information Hiding
  • Important: Follow this video with this document.
  1. Information Hiding -- An Online Shopping System