<<< Previous speaker Next speaker >>>

Bertrand Meyer, ETH Zurich / Eiffel Software

Bertrand  Meyer

Bertrand Meyer is Professor of Software Engineering at ETH Zurich where he pursues research on object technology, component-based development, concurrency and proofs.

He is the founder of Eiffel Software, based in California, where he remains Chief Architect. He has published a number of books including "Object-Oriented Software Construction", "Eiffel: The Language", "Reusable Software" and "Introduction to the Theory of Programming Languages".

Presentation: "Progress towards trusted components"

Track:   Keynote

Time: Monday 09:00 - 10:00

Location: Plenary Room

Abstract: Component-based development requires particular attention to the quality of reusable software elements. The notion of "trusted components", components accompanied by a guarantee of quality, raises issues affecting many aspects of software engineering. The presentation will describe recent work in this area, applied both to standard commercial components and to new components written explicitly to allow correctness proofs.

Password protected Download slides