default search action

combined dblp search
author search
venue search
publication search

ask others

Component-Based Software Development for Embedded Systems 2005

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/lncs/3778
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/3778
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

- view
  authority control:
- export record
  dblp key:
  - series/lncs/AtkinsonBPG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AtkinsonBPG05
Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross:
Component-Based Software Development for Embedded Systems - An Introduction. 1-7

Specification and Verification

- view
  authority control:
- export record
  dblp key:
  - series/lncs/ZhangHD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ZhangHD05
Wei Zhang, Wolfgang A. Halang, Christian Diedrich:
Specification and Verification of Applications Based on Function Blocks. 8-34
- view
  authority control:
- export record
  dblp key:
  - series/lncs/SilvaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SilvaP05
Leandro Dias da Silva, Angelo Perkusich:
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets. 35-58
- view
  authority control:
- export record
  dblp key:
  - series/lncs/TesanovicNH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/TesanovicNH05
Aleksandra Tesanovic, Simin Nadjm-Tehrani, Jörgen Hansson:
Modular Verification of Reconfigurable Components. 59-81

Component Compatibility

- view
  authority control:
- export record
  dblp key:
  - series/lncs/MaydlG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MaydlG05
Walter Maydl, Lars Grunske:
Behavioral Types for Embedded Software - A Survey. 82-106
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrossMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrossMR05
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

- view
  authority control:
- export record
  dblp key:
  - series/lncs/LuH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/LuH05
Shourong Lu, Wolfgang A. Halang:
Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML. 123-142
- view
  authority control:
- export record
  dblp key:
  - series/lncs/VoelterSK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/VoelterSK05
Markus Voelter, Christian Salzmann, Michael Kircher:
Model Driven Software Development in the Context of Embedded Component Infrastructures. 143-163
- view
  authority control:
- export record
  dblp key:
  - series/lncs/MuskensCL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MuskensCL05
Johan Muskens, Michel R. V. Chaudron, Johan J. Lukkien:
A Component Framework for Consumer Electronics Middleware. 164-184
- view
  authority control:
- export record
  dblp key:
  - series/lncs/MichielsJDMJV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MichielsJDMJV05
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
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BerbersRVB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BerbersRVB05
Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen:
CoConES: An Approach for Components and Contracts in Embedded Systems. 209-231
- view
  authority control:
- export record
  dblp key:
  - series/lncs/LudersCR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/LudersCR05
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

- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrunskeKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrunskeKR05
Lars Grunske, Bernhard Kaiser, Ralf H. Reussner:
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process. 249-274
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Purhonen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Purhonen05
Anu Purhonen:
Performance Evaluation Approaches for Software Architects. 275-295
- view
  authority control:
- export record
  dblp key:
  - series/lncs/JahnkeMCSFL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/JahnkeMCSFL05
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
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Jurjens005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Jurjens005
Jan Jürjens, Stefan Wagner:
Component-Based Development of Dependable Systems with UML. 320-344

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.