Eiffel: Analysis, Design and Programming

Bertrand Meyer, Fall 2011

General

News

Course description

252-0291-00L Eiffel: Analysis, Design and Programming

Eiffel is a programming language but also a general method for producing quality software, applicable to all stages of the lifecycle starting with requirements analysis. This course provides a hands-on introduction to the method and language, enabling students to master the technology and start doing analysis, design and programming in Eiffel.

Teaching assistant: Yi Wei

Course books

Previous exams

Lecture

Schedule


Day Time Location
Lecture Tuesday 13:00-15:00 IFW A 32.1
Exercise
Tuesday 15:00-16:00 IFW A 32.1

Slides

4.10
1
Overview
11.10 2
Lifecycle model, standard process and Design by Contract
Slides(Lifecycle)
Slides(DbC)
18.10 3
Genericity Slides
25.10 4
Inheritance 1 Slides
1.11 5
Inheritance 2 Slides
8.11
No lecture

15.11 6
Attached types
Slides
22.11 7
Interfaces with C, .Net and other languages
Slides
29.11 8
Agents and once routines
Slides(agent)
Slides(once)
6.12 9
Exception handling
Slides
13.12 10
Conversion, covariance, anchored types, avoiding CAT-calls Slides(conversion)
Slides(covariance)
20.12 11
Written exam