↓ Skip to main content
What is this page? Embed badge

Fundamentals of Software Engineering

Overview of attention for book
Cover of 'Fundamentals of Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Towards Smart Systems of Systems
  3. Altmetric Badge
    Chapter 2 Automated Integration of Service-Oriented Software Systems
  4. Altmetric Badge
    Chapter 3 Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks
  5. Altmetric Badge
    Chapter 4 Applicative Bisimulation and Quantum λ -Calculi
  6. Altmetric Badge
    Chapter 5 Modeling and Efficient Verification of Broadcasting Actors
  7. Altmetric Badge
    Chapter 6 A Theory of Integrating Tamper Evidence with Stabilization
  8. Altmetric Badge
    Chapter 7 A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems
  9. Altmetric Badge
    Chapter 8 Fundamentals of Software Engineering
  10. Altmetric Badge
    Chapter 9 Fundamentals of Software Engineering
  11. Altmetric Badge
    Chapter 10 A Behavioural Theory for a π -calculus with Preorders
  12. Altmetric Badge
    Chapter 11 Incremental Realization of Safety Requirements: Non-determinism vs. Modularity
  13. Altmetric Badge
    Chapter 12 Analyzing Mutable Checkpointing via Invariants
  14. Altmetric Badge
    Chapter 13 High Performance Computing Applications Using Parallel Data Processing Units
  15. Altmetric Badge
    Chapter 14 Improved Iterative Methods for Verifying Markov Decision Processes
  16. Altmetric Badge
    Chapter 15 A Pre-congruence Format for XY-simulation
  17. Altmetric Badge
    Chapter 16 Fundamentals of Software Engineering
  18. Altmetric Badge
    Chapter 17 Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
  19. Altmetric Badge
    Chapter 18 Painless Support for Static and Runtime Verification of Component-Based Applications
  20. Altmetric Badge
    Chapter 19 Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
  21. Altmetric Badge
    Chapter 20 Fundamentals of Software Engineering
  22. Altmetric Badge
    Chapter 21 From Event-B Models to Dafny Code Contracts
Attention for Chapter 18: Painless Support for Static and Runtime Verification of Component-Based Applications
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
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
Painless Support for Static and Runtime Verification of Component-Based Applications
Chapter number 18
Book title
Fundamentals of Software Engineering
Published by
Springer, Cham, April 2015
DOI 10.1007/978-3-319-24644-4_18
Book ISBNs
978-3-31-924643-7, 978-3-31-924644-4
Authors

Nuno Gaspar, Ludovic Henrio, Eric Madelaine, Gaspar, Nuno, Henrio, Ludovic, Madelaine, Eric

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
France 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 50%
Researcher 2 25%
Student > Master 2 25%
Readers by discipline Count As %
Computer Science 6 75%
Psychology 1 13%
Engineering 1 13%

This page is provided by Altmetric.