↓ 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 Software Product Families: Towards Compositionality
  3. Altmetric Badge
    Chapter 2 Contract-Driven Development
  4. Altmetric Badge
    Chapter 3 EQ-Mine: Predicting Short-Term Defects for Software Evolution
  5. Altmetric Badge
    Chapter 4 An Approach to Software Evolution Based on Semantic Change
  6. Altmetric Badge
    Chapter 5 A Simulation-Oriented Formalization for a Psychological Theory
  7. Altmetric Badge
    Chapter 6 Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework
  8. Altmetric Badge
    Chapter 7 Information Preserving Bidirectional Model Transformations
  9. Altmetric Badge
    Chapter 8 Activity-Driven Synthesis of State Machines
  10. Altmetric Badge
    Chapter 9 Flexible and Extensible Notations for Modeling Languages
  11. Altmetric Badge
    Chapter 10 Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
  12. Altmetric Badge
    Chapter 11 S2A: A Compiler for Multi-modal UML Sequence Diagrams
  13. Altmetric Badge
    Chapter 12 Scenario-Driven Dynamic Analysis of Distributed Architectures
  14. Altmetric Badge
    Chapter 13 Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software
  15. Altmetric Badge
    Chapter 14 A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces
  16. Altmetric Badge
    Chapter 15 Precise Specification of Use Case Scenarios
  17. Altmetric Badge
    Chapter 16 Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams
  18. Altmetric Badge
    Chapter 17 SDL Profiles – Formal Semantics and Tool Support
  19. Altmetric Badge
    Chapter 18 Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
  20. Altmetric Badge
    Chapter 19 A Service Composition Construct to Support Iterative Development
  21. Altmetric Badge
    Chapter 20 Correlation Patterns in Service-Oriented Architectures
  22. Altmetric Badge
    Chapter 21 Dynamic Characterization of Web Application Interfaces
  23. Altmetric Badge
    Chapter 22 A Prioritization Approach for Software Test Cases Based on Bayesian Networks
  24. Altmetric Badge
    Chapter 23 Redundancy Based Test-Suite Reduction
  25. Altmetric Badge
    Chapter 24 Testing Scenario-Based Models
  26. Altmetric Badge
    Chapter 25 Integration Testing in Software Product Line Engineering: A Model-Based Technique
  27. Altmetric Badge
    Chapter 26 Practical Reasoning About Invocations and Implementations of Pure Methods
  28. Altmetric Badge
    Chapter 27 Finding Environment Guarantees
  29. Altmetric Badge
    Chapter 28 Ensuring Consistency Within Distributed Graph Transformation Systems
  30. Altmetric Badge
    Chapter 29 Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
  31. Altmetric Badge
    Chapter 30 Towards Normal Design for Safety-Critical Systems
  32. Altmetric Badge
    Chapter 31 A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement
  33. Altmetric Badge
    Chapter 32 Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
2 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, Berlin, Heidelberg, January 2007
DOI 10.1007/978-3-540-71289-3
ISBNs
978-3-54-071288-6, 978-3-54-071289-3
Editors

Matthew B. Dwyer, Antónia Lopes

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 50%
Student > Postgraduate 1 50%
Student > Ph. D. Student 1 50%
Readers by discipline Count As %
Computer Science 3 150%