Computer Systems Laboratory Colloquium

4:15PM, Wednesday, October 2, 2002
NEC Auditorium, Gates Computer Science Building B03
http://ee380.stanford.edu

Trusted components: concepts and progress report

Bertrand Meyer
ETH Zürich
About the talk:

"Trusted Components" -- reusable components of guaranteed quality -- hold one of the best hopes for significant progress in software engineering. The talk will discuss specific steps towards this goal, some practical, some theoretical, and will report advances in a current project aimed at achieving it, including: an outline of a Component Quality Model, a strategy for proving properties of classes equipped with contracts, and specific mechanisms for important technical issues such as pointer-rich runtime structures.

About the speaker:

Bertrand Meyer is Professor of Software Engineering at ETH Zürich and founder of Eiffel Software. His books include Object-Oriented Software Construction" and Eiffel: The Language.

Contact information:

Bertrand Meyer
Professor of Software Engineering
ETH Zürich
Switzerland
Bertrand.Meyer@inf.ethz.ch