Chair of Software Engineering

Topics in Object Technology course: home page

Bertrand Meyer, Summer semester 2002

Announcements Description Schedule Grading Reading assignments Other links Slides

The course ended in July. A similar session will be taught in Summer 2003.

 Announcements

July 16: the exam text with suggested corrections is here. My apologies for the delay (I was unable to upload the text earlier). Thanks to Karine for providing this material. I appreciate the comments about the exam being too long and they will be taken into account for the grading. Thanks for making the course pleasing to teach, and enjoy your summer!

June 19: Don't forget the exam, this coming Monday (June 24, 9-11). As an idea of the kind of question you might get (just an idea! no other commitment implied!) see the exam for the previous semester's Trusted Components course, here.

June 12: Two new sets of slides:

Note lecture of Monday, 17 June, starting at 9, is in Audimax, part of .NET workshop. Also, Kolloquium by Adele Goldberg (17 June, 16.15, Audimax) and her guest lecture in this course on June 19.

June 4: updated slides of lecture 9: design principles (no new material, just correction of typos).

June 3: New material added

Note date of exam: Monday, 24 June

May 24: New material added

To complement the .NET lecture here are a few of papers on the topic (with some repetitions between them):

May 15:

    + Lecture 8 slides (typing in an O-O context, the covariance issue, catcalls) are available. Please read them for next class, as well as chapter 17 of OOSC-2.

May 14:

May 10:

    + Next lecture: on Monday, May 13, the course will be a guest lecture by Prof. Ralph-Johan Back (see his home page) entitled A Theory of Contracts. He is also the Kolloquium speaker at 16.15 on the same day, IFW A36.

April 29:

    + Slides for lectures 4 (more on Design by Contract, by Karine Arnout) and 5 (exception handling + DbC in languages other than Eiffel) now available.

April 23:

    + Bernd Schoeller will present Design by Contract on April 24.

    + Textbook reading assignments for next week: chapter 14 (intro to inheritance), appendix B (genericity vs inheritance).

    + Software reading assignment for next week: HASH_TABLE, HASHABLE, NUMERIC.

    + Slides for lecture 3 (Design by Contract) are available. Also note that a few corrections have been made to the slides of lectures 1 and 2.

    + Please attend the talk in the Department Kolloquium on April 29 at 16:15 (details here) as it is closely related to the topics of the course and may be referred to in class.

    + If you need the EiffelStudio license code (Windows or Linux) please ask Ms Bürkli in F8.

April 17: Karine Arnout will give three sessions of introduction to EiffelStudio (choose one). The dates and places are

    + Friday, 19 April, 14-16, IFW B42

    + Tuesday, 23 April, 9-11, IFW E42

    + Thursday, 25 April, 14-16, IFW E42

Get her presentation material at
se.inf.ethz.ch/eth_download/EiffelStudio_presentation.pdf.

April 8: The books have arrived (see next entry). The price actually comes down to CHF 67.50. Please talk to Ms Bürkli or email her to get your copy. Please bring it exact change.

April 3: We ordered a number of copies of the textbook from Amazon UK, which has them for a particularly good price (less than 28 pounds, comes out to about CHF 70 with shipping, to be confirmed). This seems to be the best deal around. If you are interested send an email to Frau Bürkli, Ruth.Buerkli@inf.ethz.ch, RZ-H8, telephone 25277; you can buy your copy directly from her. (First request first served.) You can of course order directly from Amazon but the shipping will be more expensive on individual copies.

 

 Grading

70% Project
30% Exam (June 24)

 

 Description

Title and code

Advanced Topics in Object Technology
Course code: 37-250

Scope

This course will explore a number of issues, both practical and theoretical, raised by object technology, especially when applied to large, ambitious, long-running projects.

Topics (provisional list)

Topics related to Design by Contract will only be covered in the fom of a brief reminder since they were explored in the Winter Trusted Components course.

    + Concurrent object-oriented development: issues, constraints, existing proposals, implementations.

    + Concurrency variants: multi-threading, distribution.

    + Design by Contract.

    + Beyond Design by Contract: specification and proof issues.

    + Typing issues.

    + Covariance and catcalls.

    + Language design for flexible typing.

    + Reconciling the object-oriented paradigm with other approaches: functional, logic.

    + High-level system structuring.

    + Role of graphical formalisms.

    + Seamless and reversible development.

    + Metrics for object-oriented development.

    + Specific issues of reuse-oriented development.

    + Library design principles.

    + Object-oriented project management.

    + Lifecycle issues.

Prerequisites

Good programming experience.

 Schedule


    + Monday 9.00 - 11.00, RZ F21 (Note change).

    + Wednesday 10.00 - 12.00, RZ F21

Office hours: Tuesday 14:15-16, or by appointment. RZ-F1.

 Grading and deadlines

70% project, 30% exam.

 

 Reading assignments

Textbook: Object-Oriented Software Construction, second edition, Prentice Hall, 1997.

 

 Other links

Karine Arnout's EiffelStudio introduction: se.inf.ethz.ch/eth_download/EiffelStudio_presentation.pdf.

 

 Slides (PDF)

All links are to documents (PDF by default) and require a password.

Lecture 1: introduction
Lecture 2: objects
Lecture 3: contracts
Lecture 4: exceptions, more on contracts
Lecture 5: inheritance
Lecture 7: typing
Lecture 9: design principles
Lecture 10: concurrency
Lecture 11: a design example
Lecture 12: agents and event-driven design


Meyer home  -   Publications  -  Events  -  Chair of Software Engineering  -  CS Department