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

Lecture of Week 5 (June 17) is available on 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
     • 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. a series of tutorial videos