Software Components -- A Step towards an Engineering Approach to Software?

Speaker: Ralf Reussner

16th September 2005 , 2pm , Devonshire G21/G22 Conference Room

Abstract

This talk discusses the role of software components for an engineering approach to software construction. In particular, this talk concentrates on predicting functional and extra-functional properties of layered component-based software architectures. The approach presented is based on parametric contracts, a generalisation of design-by-contract for the contractual definition of components.