↓ Skip to main content

Component-Based Software Development for Embedded Systems

Overview of attention for book
Cover of 'Component-Based Software Development for Embedded Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Component-Based Software Development for Embedded Systems – An Introduction
  3. Altmetric Badge
    Chapter 2 Specification and Verification of Applications Based on Function Blocks
  4. Altmetric Badge
    Chapter 3 A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets
  5. Altmetric Badge
    Chapter 4 Modular Verification of Reconfigurable Components
  6. Altmetric Badge
    Chapter 5 Behavioral Types for Embedded Software – A Survey
  7. Altmetric Badge
    Chapter 6 Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing
  8. Altmetric Badge
    Chapter 7 Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML
  9. Altmetric Badge
    Chapter 8 Model Driven Software Development in the Context of Embedded Component Infrastructures
  10. Altmetric Badge
    Chapter 9 A Component Framework for Consumer Electronics Middleware
  11. Altmetric Badge
    Chapter 10 Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks
  12. Altmetric Badge
    Chapter 11 CoConES : An Approach for Components and Contracts in Embedded Systems
  13. Altmetric Badge
    Chapter 12 Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study
  14. Altmetric Badge
    Chapter 13 Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
  15. Altmetric Badge
    Chapter 14 Performance Evaluation Approaches for Software Architects
  16. Altmetric Badge
    Chapter 15 Component-Based Engineering of Distributed Embedded Control Software
  17. Altmetric Badge
    Chapter 16 Component-Based Development of Dependable Systems with UML
Attention for Chapter 13: Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
24 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
Chapter number 13
Book title
Component-Based Software Development for Embedded Systems
Published by
Springer, Berlin, Heidelberg, January 2005
DOI 10.1007/11591962_13
Book ISBNs
978-3-54-030644-3, 978-3-54-031614-5
Authors

Lars Grunske, Bernhard Kaiser, Ralf H. Reussner, Grunske, Lars, Kaiser, Bernhard, Reussner, Ralf H.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 24 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Sweden 2 8%
Germany 1 4%
Austria 1 4%
Unknown 20 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 42%
Student > Master 5 21%
Student > Bachelor 2 8%
Researcher 2 8%
Professor 1 4%
Other 2 8%
Unknown 2 8%
Readers by discipline Count As %
Computer Science 14 58%
Engineering 7 29%
Unknown 3 13%