↓ Skip to main content

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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
2 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
5 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.
Title
Fundamentals of Software Engineering
Published by
Springer International Publishing, September 2015
DOI 10.1007/978-3-319-24644-4
ISBNs
978-3-31-924643-7, 978-3-31-924644-4
Editors

Dastani, Mehdi, Sirjani, Marjan

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.