Abstract is missing.
- Component-Based Software Development for Embedded Systems - An IntroductionColin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross. 1-7 [doi]
- Specification and Verification of Applications Based on Function BlocksWei Zhang 0036, Wolfgang A. Halang, Christian Diedrich. 8-34 [doi]
- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri NetsLeandro Dias da Silva, Angelo Perkusich. 35-58 [doi]
- Modular Verification of Reconfigurable ComponentsAleksandra Tesanovic, Simin Nadjm-Tehrani, Jörgen Hansson. 59-81 [doi]
- Behavioral Types for Embedded Software - A SurveyWalter Maydl, Lars Grunske. 82-106 [doi]
- Assessing Real-Time Component Contracts Through Built-in Evolutionary TestingHans-Gerhard Gross, Nikolas Mayer, Javier Paredes Riano. 107-122 [doi]
- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UMLShourong Lu, Wolfgang A. Halang. 123-142 [doi]
- Model Driven Software Development in the Context of Embedded Component InfrastructuresMarkus Völter, Christian Salzmann, Michael Kircher. 143-163 [doi]
- A Component Framework for Consumer Electronics MiddlewareJohan Muskens, Michel R. V. Chaudron, Johan J. Lukkien. 164-184 [doi]
- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol StacksSam Michiels, Nico Janssens, Lieven Desmet, Tom Mahieu, Wouter Joosen, Pierre Verbaeten. 185-208 [doi]
- CoConES: An Approach for Components and Contracts in Embedded SystemsYolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen. 209-231 [doi]
- Adopting a Component-Based Software Architecture for an Industrial Control System - A Case StudyFrank Lüders, Ivica Crnkovic, Per Runeson. 232-248 [doi]
- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering ProcessLars Grunske, Bernhard Kaiser, Ralf H. Reussner. 249-274 [doi]
- Performance Evaluation Approaches for Software ArchitectsAnu Purhonen. 275-295 [doi]
- Component-Based Engineering of Distributed Embedded Control SoftwareJens H. Jahnke, Andrew McNair, J. Cockburn, Phillip de Souza, R. A. Furber, M. Lavender. 296-319 [doi]
- Component-Based Development of Dependable Systems with UMLJan Jürjens, Stefan Wagner 0001. 320-344 [doi]