Eiffel: Analysis, Design and Programming

Bertrand Meyer (Fall semester 2009)

General info

News

Course description

Eiffel: Analysis, Design and Programming

Web page at the computer science department: 251-0291-00

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.

Grading

70% project, 30% exam

• Project will be a web-based system using the new EiffelWeb
• The grading of the course will be based on a closed book written exam (90 minutes), on last lecture slot of the semester: 15 Dec..

 Project

• Online bug reporting using Xebra
• Teaching assistants:
• Fabio Zünd: fzuend 'at' student.ethz.ch
• Sandro De Zanet: dezanets 'at' gmail.com
• Xebra forum
• You're suggested to post your questions here, so other students can also benefit from the discussions as well as answers.
• About persistent storage
• Persistent storage of the data IS REQUIRED for the project. We don't constrain which specific technique you should use. However, whichever technique you choose, scalability should be one of your major concerns in making such decision.
• One most obvious solution for this would be using a database, and Eiffel has provided a library for this purpose: EiffelStore. To know more about EiffelStore, you may find http://docs.eiffel.com/book/solutions/eiffelstore to be helpful, where you may find relevant class references and examples.
• If you decide to choose other solutions, please be prepared to justify your choice and convince the others both in your report and during the demo.
• Arrangement changes
  

Course books

• Eiffel Tutorial
• Bertrand Meyer: Object-Oriented Software Construction, Second Edition, Prentice Hall, 1997 ISBN 0-13-629155-4
• Standard ECMA-367: Eiffel: Analysis, Design and Programming Language

Downloads

• Course exercise 1: Compiling the EiffelStudio Workbench
  Note: Please be sure the source code you are trying to compile has the same revision number as that of your EiffelStudio binary. The revision number consists of the last five digits of the version number, which is available in the "About EiffelStudio..." dialog. For example, given the version number 6.4.7.9263, the revision number would be 79263.
  
• Course exercise 2: EiffelStudio: A Guided Tour
• Course exercise 3: Design by Contract
• Course exercise 4: Exception Handling
• Course exercise 5: Agent and Tuples (Adapted from 2008)
• Course exercise 6: Genericity
• Course exercise 7: Dynamic binding (Adopted from 2007)
• Exam booklet 2008
• Course exercise 8: Expanded types and conversion (Adopted from 2007)
• Clarification about the grading policy
• An explanation to the clarification
  

Further reading

• Agents, iteration and introspection from "The Eiffel Language (3rd ed.)"
  

Lectures

The lecture will be held every Tuesday between September 22 (Tue.), 2008 and December 18 (Fri.), 2008.

	Time	Location
Lecture	Tue. 13:30 -- 15:00	HG F 26.3
Exercise	Tue. 15:15 -- 16:00	HG G 26.1

Detailed Course Plan