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,
- 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 engineering,
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.