↓ Skip to main content

Modelling Foundations and Applications

Overview of attention for book
Cover of 'Modelling Foundations and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Building Advanced Mechatronic Systems
  3. Altmetric Badge
    Chapter 2 Contracts for Model Execution Verification
  4. Altmetric Badge
    Chapter 3 A FUML-Based Distributed Execution Machine for Enacting Software Process Models
  5. Altmetric Badge
    Chapter 4 A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics
  6. Altmetric Badge
    Chapter 5 Incremental Security Verification for Evolving UMLsec models
  7. Altmetric Badge
    Chapter 6 Assessing the Kodkod Model Finder for Resolving Model Inconsistencies
  8. Altmetric Badge
    Chapter 7 Operation Based Model Representation: Experiences on Inconsistency Detection
  9. Altmetric Badge
    Chapter 8 Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML
  10. Altmetric Badge
    Chapter 9 Automated Transition from Use Cases to UML State Machines to Support State-Based Testing
  11. Altmetric Badge
    Chapter 10 Transformation Rules for Translating Business Rules to OCL Constraints
  12. Altmetric Badge
    Chapter 11 Preventing Information Loss in Incremental Model Synchronization by Reusing Elements
  13. Altmetric Badge
    Chapter 12 An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
  14. Altmetric Badge
    Chapter 13 Incremental Updates for View-Based Textual Modelling
  15. Altmetric Badge
    Chapter 14 Easing Model Transformation Learning with Automatically Aligned Examples
  16. Altmetric Badge
    Chapter 15 Code Generation for UML 2 Activity Diagrams
  17. Altmetric Badge
    Chapter 16 Tractable Model Transformation Testing
  18. Altmetric Badge
    Chapter 17 Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling
  19. Altmetric Badge
    Chapter 18 Analyzing Variability: Capturing Semantic Ripple Effects
  20. Altmetric Badge
    Chapter 19 Integrating Design and Runtime Variability Support into a System ADL
  21. Altmetric Badge
    Chapter 20 Domain-Specific Model Verification with QVT
  22. Altmetric Badge
    Chapter 21 A SysML Profile for Development and Early Validation of TLM 2.0 Models
  23. Altmetric Badge
    Chapter 22 Taming the Confusion of Languages
  24. Altmetric Badge
    Chapter 23 Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador
  25. Altmetric Badge
    Chapter 24 Improving Naming and Grouping in UML
  26. Altmetric Badge
    Chapter 25 Aspect-Oriented Model Development at Different Levels of Abstraction
  27. Altmetric Badge
    Chapter 26 MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration
  28. Altmetric Badge
    Chapter 27 MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization
  29. Altmetric Badge
    Chapter 28 The Third Workshop on Behaviour Modelling - Foundations and Applications
  30. Altmetric Badge
    Chapter 29 Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition
  31. Altmetric Badge
    Chapter 30 Modelling Foundations and Applications
  32. Altmetric Badge
    Chapter 31 Agile Development with Domain Specific Languages
  33. Altmetric Badge
    Chapter 32 Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery
  34. Altmetric Badge
    Chapter 33 Integrated Model Management with Epsilon
  35. Altmetric Badge
    Chapter 34 Creating Domain-Specific Modelling Languages That Work: Hands-On
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 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
Modelling Foundations and Applications
Published by
Springer Berlin Heidelberg, June 2011
DOI 10.1007/978-3-642-21470-7
ISBNs
978-3-64-221469-1, 978-3-64-221470-7
Editors

France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F., France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F.

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.
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 > Ph. D. Student 2 100%
Readers by discipline Count As %
Computer Science 1 50%
Medicine and Dentistry 1 50%