↓ 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 Fundamental Approaches to Software Engineering
  3. Altmetric Badge
    Chapter 2 Towards a Distributed Modeling Process Based on Composite Models
  4. Altmetric Badge
    Chapter 3 Change Propagation due to Uncertainty Change
  5. Altmetric Badge
    Chapter 4 A Model-Based Synthesis Process for Choreography Realizability Enforcement
  6. Altmetric Badge
    Chapter 5 Fundamental Approaches to Software Engineering
  7. Altmetric Badge
    Chapter 6 On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
  8. Altmetric Badge
    Chapter 7 Quality of Merge-Refactorings for Product Lines
  9. Altmetric Badge
    Chapter 8 Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs
  10. Altmetric Badge
    Chapter 9 Discovering Branching Conditions from Business Process Execution Logs
  11. Altmetric Badge
    Chapter 10 Exposing Behavioral Differences in Cross-Language API Mapping Relations
  12. Altmetric Badge
    Chapter 11 Explicit-State Software Model Checking Based on CEGAR and Interpolation
  13. Altmetric Badge
    Chapter 12 Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks
  14. Altmetric Badge
    Chapter 13 Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification
  15. Altmetric Badge
    Chapter 14 Scenario Realizability with Constraint Optimization
  16. Altmetric Badge
    Chapter 15 Andromeda : Accurate and Scalable Security Analysis of Web Applications
  17. Altmetric Badge
    Chapter 16 VerChor: A Framework for Verifying Choreographies
  18. Altmetric Badge
    Chapter 17 Javanni: A Verifier for JavaScript
  19. Altmetric Badge
    Chapter 18 Model-Based Implementation of Parallel Real-Time Systems
  20. Altmetric Badge
    Chapter 19 A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
  21. Altmetric Badge
    Chapter 20 A Mechanized Model for CAN Protocols
  22. Altmetric Badge
    Chapter 21 Enforcing QVT-R with mu-Calculus and Games
  23. Altmetric Badge
    Chapter 22 Implementing QVT-R Bidirectional Model Transformations Using Alloy
  24. Altmetric Badge
    Chapter 23 Abstraction and Training of Stochastic Graph Transformation Systems
  25. Altmetric Badge
    Chapter 24 Discovering Math APIs by Mining Unit Tests
  26. Altmetric Badge
    Chapter 25 POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications
  27. Altmetric Badge
    Chapter 26 Testing with Inputs and Outputs in CSP
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

5 X users
2 patents


5 Dimensions

Readers on

10 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.
Fundamental Approaches to Software Engineering
Published by
Springer Berlin Heidelberg, February 2013
DOI 10.1007/978-3-642-37057-1
978-3-64-237056-4, 978-3-64-237057-1

Cortellessa, Vittorio, Varró, Dániel

X Demographics

X Demographics

The data shown below were collected from the profiles of 5 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 10 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 10 100%

Demographic breakdown

Readers by professional status Count As %
Student > Postgraduate 1 10%
Researcher 1 10%
Professor > Associate Professor 1 10%
Unknown 7 70%
Readers by discipline Count As %
Computer Science 3 30%
Unknown 7 70%