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. | Lecture Building reliable component-based systems - Chapter 2: Specification of software components