Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComponent-Based Software Development for Embedded Systems 2005
- Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper:
Component-Based Software Development for Embedded Systems - An Overview of Current Research Trends. Lecture Notes in Computer Science 3778, Springer 2005, ISBN 978-3-540-30644-3
Component-Based Software Development for Embedded Systems - An Introduction
- Colin Atkinson
, Christian Bunse, Christian Peper, Hans-Gerhard Gross:
Component-Based Software Development for Embedded Systems - An Introduction. 1-7
Specification and Verification
- Wei Zhang, Wolfgang A. Halang, Christian Diedrich:
Specification and Verification of Applications Based on Function Blocks. 8-34 - Leandro Dias da Silva, Angelo Perkusich:
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets. 35-58 - Aleksandra Tesanovic, Simin Nadjm-Tehrani, Jörgen Hansson:
Modular Verification of Reconfigurable Components. 59-81
Component Compatibility
- Walter Maydl, Lars Grunske:
Behavioral Types for Embedded Software - A Survey. 82-106 - Hans-Gerhard Gross, Nikolas Mayer, Javier Paredes Riano:
Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing. 107-122
Component Architectures, Implementation and Tool Support
- Shourong Lu, Wolfgang A. Halang:
Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML. 123-142 - Markus Voelter, Christian Salzmann, Michael Kircher:
Model Driven Software Development in the Context of Embedded Component Infrastructures. 143-163 - Johan Muskens, Michel R. V. Chaudron, Johan J. Lukkien:
A Component Framework for Consumer Electronics Middleware. 164-184 - Sam Michiels, Nico Janssens, Lieven Desmet, Tom Mahieu, Wouter Joosen, Pierre Verbaeten:
Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks. 185-208 - Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen:
CoConES: An Approach for Components and Contracts in Embedded Systems. 209-231 - Frank Lüders, Ivica Crnkovic, Per Runeson:
Adopting a Component-Based Software Architecture for an Industrial Control System - A Case Study. 232-248
Non-functional Properties
- Lars Grunske, Bernhard Kaiser, Ralf H. Reussner:
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process. 249-274 - Anu Purhonen:
Performance Evaluation Approaches for Software Architects. 275-295 - Jens H. Jahnke, Andrew McNair, J. Cockburn, Phillip de Souza, R. A. Furber, M. Lavender:
Component-Based Engineering of Distributed Embedded Control Software. 296-319 - Jan Jürjens, Stefan Wagner:
Component-Based Development of Dependable Systems with UML. 320-344
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-19 21:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
