"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