Prof. Bertrand Meyer \"An introduction to Eiffel and Design by Contract\" elõadása

2009. december 8.

Tisztelettel meghívunk minden érdeklődőt Prof. Bertrand Meyer

\"An introduction to Eiffel and Design by Contract\"

című előadására, amelyet 2009. december 9-én 10:15-kor tart a BME I épület (1117 Budapest, Magyar tudósok körútja 2.) B 025 előadótermében. Az előadás angol nyelvű.


Az előadás rövid tartalma:

An introduction to Eiffel and Design by Contract

The Eiffel approach encourages the development of high-quality software based on strong software engineering principles, in particular the�concepts of Design by Contract. This presentation will cover some of the�principal techniques such as:

- Design principles: seamless development, open-closed principle, uniform access.

- Techniques of Design by Contract: documentation, debugging, constructive program design.

- Automated testing: AutoTest

- Agents and event-driven programming.

The presentation will also describe how we use these concepts at ETH for introductory� programming, as reflected in the just published textbook \"Touch of Class\" (Springer, 2009).

The last part of the talk will be more research-oriented and will present some of our research work in concurrent programming, language design, program verification (tests and proofs) and persistence.

As a preparation for this talk, it is useful to consult \"Object-Oriented Software Construction\" (2nd edition, Prentice Hall, 1997) and, if available, the recent \"Touch of Class\" textbook.


Az előadó bemutatása:

Bertrand Meyer is Professor of Software Engineering at ETH Zurich (the Swiss Federal Institute of Technology) and Chief Architect of Eiffel Software, based in Santa Barbara (California). He is the author of numerous articles and 10 books on many topics of software ngineering, including the best-seller \"Object-Oriented Software Construction\"; he is an ACM Fellow and has received the ACM Software System Award and� the Dahl-Nygaard prize for object technology.