lectures
Table of Contents
Lectures, Readings, and Exercises
General Notes
- Touch of Class is available with online access via Steacie Library (you need your library account for this).
- You will be required to read extracts from the book (which you can get access to using your library login) on specific topics, but you may also want to read other relevant sections to understand the context better.
- Under the heading of each week there is a Topics section. Use that for you to reflect on the materials and as a guidance to prepare for the tests and exam.
Week 1 (May 20)
Slides and Notes
- Overview of Course pdf 4-up version
- Overview of TDD and DbC (Slides 1 to 54) pdf 4-up version
Readings
- Section 4.6 of Touch of Class has a short introduction to contracts.
- Sections 13.1 & 13.2 of Touch of Class has a short introduction to genericity.
- Many video tutorials on the official Eiffel website
- A short video introduction to Eiffel Studio (link)
Week 2 (May 27)
Readings before Lecture
- Void Safety
- My forum response on type checking, void checks at compile time and runtime, and how void safety is supported in EStudio
Slides and Notes
- Overview of TDD and DbC (from slide 55) pdf 4-up version
- ADTs, Classes, and Objects pdf 4-up version
References
Week 3 (June 3)
Slides and Notes
- Iterator Pattern (up to Slide 12) pdf 4-up version
- BON diagrams for the iterator pattern and the singleton pattern
- You should try to practice your drawing by using Visio to reproduce these architectural diagrams.
Week 4 (June 10)
Slides and Notes
- Writing Complete Contracts pdf 4-up version
- Syntax: Contracts vs. Implementations pdf 4-up version
- Inheritance and Polymorphism pdf 4-up version
Week 8 (July 8)
Slides and Notes
- Eiffel Testing Framework (ETF) pdf 4-up version
Week 9 (July 15)
Slides and Notes
- Composite Pattern pdf 4-up version
- Visitor Pattern pdf 4-up version
Week 12 (August 5)
Slides and Notes
- DbC and Loops (up to slide 21) pdf 4-up version
-
- You can also find details about the Hoare triple here.
Week 13 (August 12)
Slides and Notes
- DbC and Loops (from Slide 22 to the end) pdf 4-up version
- Exercise on Proving Loop Correctness which you're expected to complete.
- Example code of loop invariant and variant that you should play with
lectures.txt · Last modified: 2015/08/13 03:39 by jackie