Bertrand Meyer, ETH Zurich / Eiffel Software
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.
|
|
|
