Lecture Building reliable component-based systems - Chapter 3: Architecting component-based systems

Lecture Building reliable component-based systems - Chapter 2: Specification of software components. This chapter presents the following content: Current component specification techniques, specifying the semantics of components, specifying extra-functional properties of components.