Date
Lecture
Title
Slides
Readings
Tue. 16.10. 1 Overview, lifecycle model, standards process [O] PDF
Wed. 17.10. 2 EiffelStudio [O] PDF
Thu. 18.10. 3 Language basics, dynamic model [O] PDF
Fri. 19.10. 4 Interfaces with C, .NET and other language [O] PDF
Mon. 22.10. 5 Design by Contract [O] PDF
Tue. 23.10. 6 Exception handling [O] PDF
Wed. 24.10. 7 Agents and tuples [O] PDF
Thu. 25.10. 8 Genericity [O] PDF
Fri. 26.10. 9 Attached types [O] PDF
Mon. 29.10. 10 Inheritance 1 [O] PDF
Tue. 30.10. 11 Inheritance 2
Wed. 31.10. 12 Once routines [O] PDF
Thu. 1.11. 13 Covariance, anchored types, avoiding CAT-calls [O] PDF
Fri. 2.11. 14 The method [O] PDF

[C]: Current, updated slides
[O]: Old slides, will change