This 2000 collection of articles by well-known experts moves from theoretical frameworks models and systems of notation to case studies by researchers. The emphasis is on advances in the technological infrastructure of component-based systems how to design and specify reusable components and how to verify and validate systems from components.