[an error occurred while processing this directive]
 

Programming in the large

Bertrand Meyer, summer semester 2004

 

General info: News | Course description | Requirements for Testat | Course book | Help Forum | Downloads | Further reading
Lecture: Schedule | Slides
Exercises: Schedule | Assistants | Exercise topics


General info

News

29.7.2004  
23.7.2004  
  • Added German slides of lecture 20 and 21
22.7.2004  
  • Added German slides of lecture 17 (Introduction to formal methods).
16.7.2004  
  • Added German slides of lectures 16 (design principles), 23 (exception handling), and 25 (testing).
08.7.2004  
  • Added German slides of lecture 24 about exception handling.
07.7.2004  
  • Added translation of concurrency course slides
01.7.2004  
  • Added most of the remaining movie files
30.6.2004  
  • Added slides of lectures 24 and 25.
29.6.2004  
21.6.2004  
11.6.2004  
9.6.2004  
  • Updated slides of lecture 19
8.6.2004  
  • Added project exercise sheet
  • Added slides of lectures 19 and 20
7.6.2004  
  • Added updated slides of lectures 16 and 18
  • Added solution of classroom exercise 2
4.6.2004  
  • Added slides of lecture 19
  • Added text of classroom exercise 2
3.6.2004  
  • Updated slides of lecture 17
2.6.2004  
  • Added German translation of lectures 8, 9
1.6.2004  
28.5.2004  
  • Second classroom exercise: Friday 4 June (1h30, during the exercise session)
27.5.2004  
  • Updated slides of lectures 16 and 18
25.5.2004  
21.5.2004  
  • Added translations of lectures 11, 12, 13, and added mastersolution for Ex 4
18.5.2004  
  • Added first movie files, please test and give us feedback!
14.5.2004  
  • Added exercise 5
13.5.2004  
  • Added Classroom exercise handout and master solution and exercise 3 master solution
12.5.2004  
  • Updated slides of lectures 11, 12, and 13.
10.5.2004  
7.5.2004  
  • Slides of lectures 12 and 13 are now available.
6.5.2004  
  • Exercise 4 is now available.
5.5.2004  
  • Example exam questions are available here.
4.5.2004  
  • Updated slides of lecture 9.
  • Added slides of lectures 10 and 11.
2.5.2004  
  • First classroom exercise: Friday 7 May (2 hours, during the exercise session)
  • The slides showed during the exercise session of the groups Lima and Berlin are available here
29.4.2004  
  • Updated slides of lecture 8
  • Added slides of lecture 9
  • Updated solution of exercise 2 (part about the bank account ADT)
21.4.2004  
  • Updated slides of lecture 6 (including the German version)
  • Bank account exemple presented in class (lecture 6) is available here
  • Solution of exercise 1 is available online
16.4.2004  
  • Updated slides of lectures 1 to 7
  • Paris is merging with Berlin - the students concerned will hear from their assistants
14.4.2004   The course books have arrived at the Polybuchhandlung. They cost 63.- CHF (with Legi).
Bertrand Meyer: Object-Oriented Software Construction, Second Edition, Prentice Hall, 1997 ISBN 0-13-629155-4
31.3.2004   Program Development by Step-wise Refinement.
Comm. ACM, 14, 4, (Apr 1971) 221-227.
29.3.2004   First Lecture
    Eiffel introduction (pdf)
    Eiffel online presentation (flash)
     

Course description

Programming in the large, 37-004

Description at the computer science department: see here

Information for students: Info-sheet

Requirements for Testat

  • 4 out of 5 exercises (including questionnaires)
  • 1 out of 2 classroom exercises
  • 1 project (including oral presentation)

    In order to have an exercise accepted, you must show an effort to solve the tasks. Additionally, a questionnaire about the difficulty level needs to be filled out.

Course book

Bertrand Meyer: Object-Oriented Software Construction, Second Edition, Prentice Hall, 1997 ISBN 0-13-629155-4

Help Forum

You can use the Help Forum to ask course- and exercise-related questions. The assistants will do their best to answer your questions as soon as possible.

Click here, to access the forum!

Downloads

EiffelStudio 5.4 Free Edition is available for Windows, Linux, and MacOS. Click here!

Further reading

Pete Thomas, Ray Weedon: Object-Oriented Programming in Eiffel, Second Edition, Addison-Wesley Eiffel in Practice Series, ISBN 0-201-33131-4.

Frieder Monninger: Eiffel. Objektorientiertes Programmieren in der Praxis, H. Heise Verlag, Hannover, ISBN 3-882-29028-5

Bertrand Meyer: La produzione del software object oriented. Prentice Hall International, Hemel Hempstead, ISBN 88-256-0205-7

Giuseppe Callegarin: Nuovo corso di informatica. Basi di dati e sistemi informativi. Per le Scuole superiori.
CEDAM, ISBN 8-813-19565-6

 

 

Lectures

Schedule

Day

Time

Room

 
Monday 13:00-14:00 ML D28  
Wednesday 08:00-10:00 ML D28  

 

  Slides

Week

Datum

Thema

Slides (EN)

Slides (DE)

Movies

      1up 3up 6up 1up 3up 6up  
Week 1 Mo, 29.3.2004 Presentation (assistants, groups), Questionnaire real
337 mb (zip)
  Mi, 31.3.2004 Modularity, reusability real
878 mb (zip)
Week 2 Mo, 5.4.2004 Abstract data types real
97 mb (zip)
  Mi, 7.4.2004 Abstract data types real
819 mb (zip)
Week 3 Mo, 12.4.2002 Ostermontag (no lecture)              
  Mi, 14.4.2004 Objects real
892 mb (zip)
Week 4 Mo, 19.4.2004 Sechseläuten (no lecture)              
  Mi, 21.4.2004 Design by Contract
real
539 mb (zip)
Week 5 Mo, 26.4.2004 Objects             real
423 mb (zip)
  Mi, 28.4.2004 Genericity, Inheritance

276 mb (mpg1)
streamed mp4

Week 6 Mi, 3.5.2004 Inheritance

64 mb (mpeg1)
streamed mp4

  Mi, 5.5.2004 More on inheritance streamed mp4
Week 7 Mo, 10.5.2004 Multiple inheritance 60 mb (mpeg1)
streamed mp4
  Mi, 12.5.2004 Agents  
Week 8 Mo, 17.5.2004 Event-driven programming streamed mp4
  Mi, 19.5.2004 Agents streamed mp4
Week 9 Mo, 24.5.2004 Concurrent Object-Oriented Programming streamed mp4
  Mi, 26.5.2004 Design principles streamed mp4
Week 10 Mo, 31.5.2004 Pfingstmontag (frei)              
  Mi, 2.6.2004 Formal methods streamed mp4
Week 11 Mo, 7.6.2004 Design principles streamed mp4
  Mi, 9.6.2004 Design example streamed mp4
Week 12 Mo, 14.6.2004 Software lifecycle streamed mp4
  Mi, 16.6.2004 Software lifecycle streamed mp4
Week 13 Mo, 21.6.2004 Configuration management
streamed mp4
  Mi, 23.6.2004 Project management streamed mp4
Week 14 Mo, 28.6.2004 Exception handling streamed mp4
  Mi, 30.6.2004 Software testing, verification and validation, Summary streamed mp4

 

 

Exercises

Exercises

Day

Time

Room

 

Friday 10:00-12:00 see corresponding assistant  
or
Friday

13:00-15:00

see corresponding assistant
 

Assistants

Assistant

Room

Phone

Group

Exercise room

Time

Language

Karine Arnout RZ J4 01 632 47 23       French, English
Till Bay RZ J22 01 632 76 33  kualalumpur ML F 38 13-15 German, French, English
Werner Dietl RZ J8 01 632 79 42 salzburg IFW D42 10-12 German, English
Bernd Schoeller RZ J5 01 632 47 55

lima

NO G33 10-12 German, English
      berlin RZ F21 13-15 German, English
Benno Baumgartner     zion ML H34.3 13-15 German, English
Marcel Beer & Florian Negele     helsinki HG E 33.3 13-15 German, English
Marcel Kessler     aberdeen HG F 5 13-15 German, English
Tobias Widmer     venezia HG D 3.1 13-15 German, English

 

Exercise Sheets

Exercise

Topics

Links

Solution

Exercise 1 Commandments of Software Engineering
Exercise 2 Abstract Data Types, Objects
Exercise 3 Objects, Design by Contract
Classroom exercise 1 Objects, Genericity, Design by Contract, Inheritance
Exercise 4 Inheritance
Exercise 5 Multiple inheritance, Agents
Classroom exercise 2 Design by Contract, Inheritance, Design principles, Agents
Project Project Exercise  

 

 

Last change : 2004-07-29, tgb