Sometimes a video will show as private/locked. Just click on it once or twice and it will start playing. (I am not sure why we are seeing this behaviour).

• 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
     • Follow this video with this document.
  2. Making the Generic Book Iterable
     • Follow this video with Exercise 3 of Lab 3
• Information Hiding and the Iterator Pattern
  1. Information Hiding -- An Online Shopping System
     • Follow this video with this document.
  2. Making the Cart of Orders Iterable
     • Follow this video with Exercise 2 of Lab 3
• Business Oriented Notation
  1. Drawing BON Diagrams using Visio
• Eiffel Testing Framework (ETF)
  1. Installing ETF
  2. Launching the Default ETF Project
  3. Error Handling and Debugging in ETF