↓ Skip to main content

Fundamental Approaches to Software Engineering

Overview of attention for book
Cover of 'Fundamental Approaches to Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Formal Framework for Incremental Model Slicing
  3. Altmetric Badge
    Chapter 2 Multiple Model Synchronization with Multiary Delta Lenses
  4. Altmetric Badge
    Chapter 3 Controlling the Attack Surface of Object-Oriented Refactorings
  5. Altmetric Badge
    Chapter 4 Effective Analysis of Attack Trees: A Model-Driven Approach
  6. Altmetric Badge
    Chapter 5 ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
  7. Altmetric Badge
    Chapter 6 A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
  8. Altmetric Badge
    Chapter 7 Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
  9. Altmetric Badge
    Chapter 8 EventHandler -Based Analysis Framework for Web Apps Using Dynamically Collected States
  10. Altmetric Badge
    Chapter 9 Hierarchical Specification and Verification of Architectural Design Patterns
  11. Altmetric Badge
    Chapter 10 Supporting Verification-Driven Incremental Distributed Design of Components
  12. Altmetric Badge
    Chapter 11 Summarizing Software API Usage Examples Using Clustering Techniques
  13. Altmetric Badge
    Chapter 12 Fast Computation of Arbitrary Control Dependencies
  14. Altmetric Badge
    Chapter 13 Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
  15. Altmetric Badge
    Chapter 14 Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
  16. Altmetric Badge
    Chapter 15 TCM: Test Case Mutation to Improve Crash Detection in Android
  17. Altmetric Badge
    Chapter 16 CRETE: A Versatile Binary-Level Concolic Testing Framework
  18. Altmetric Badge
    Chapter 17 Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL $$^{\star }$$ ⋆
  19. Altmetric Badge
    Chapter 18 FPH: Efficient Non-commutativity Analysis of Feature-Based Systems
  20. Altmetric Badge
    Chapter 19 Taming Multi-Variability of Software Product Line Transformations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
7 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
9 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
Fundamental Approaches to Software Engineering
Published by
Springer International Publishing, January 2018
DOI 10.1007/978-3-319-89363-1
ISBNs
978-3-31-989362-4, 978-3-31-989363-1
Editors

Russo, Alessandra, Schürr, Andy

X Demographics

X Demographics

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

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 22%
Student > Doctoral Student 2 22%
Unknown 5 56%
Readers by discipline Count As %
Computer Science 2 22%
Psychology 1 11%
Social Sciences 1 11%
Unknown 5 56%