↓ 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 Executable UML: From Multi-domain to Multi-core
  3. Altmetric Badge
    Chapter 2 Models Meeting Automotive Design Challenges
  4. Altmetric Badge
    Chapter 3 A Commutative Model Composition Operator to Support Software Adaptation
  5. Altmetric Badge
    Chapter 4 Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings
  6. Altmetric Badge
    Chapter 5 Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
  7. Altmetric Badge
    Chapter 6 Model Interchange Testing: A Process and a Case Study
  8. Altmetric Badge
    Chapter 7 An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters
  9. Altmetric Badge
    Chapter 8 Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing
  10. Altmetric Badge
    Chapter 9 Model Transformations for Migrating Legacy Models: An Industrial Case Study
  11. Altmetric Badge
    Chapter 10 Derived Features for EMF by Integrating Advanced Model Queries
  12. Altmetric Badge
    Chapter 11 A Lightweight Approach for Managing XML Documents with MDE Languages
  13. Altmetric Badge
    Chapter 12 Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies
  14. Altmetric Badge
    Chapter 13 Badger: A Regression Planner to Resolve Design Model Inconsistencies
  15. Altmetric Badge
    Chapter 14 Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines
  16. Altmetric Badge
    Chapter 15 TexMo: A Multi-language Development Environment
  17. Altmetric Badge
    Chapter 16 On-the-Fly Emendation of Multi-level Models
  18. Altmetric Badge
    Chapter 17 Specifying Refinement Relations in Vertical Model Transformations
  19. Altmetric Badge
    Chapter 18 Model-Based Automated and Guided Configuration of Embedded Software Systems
  20. Altmetric Badge
    Chapter 19 Lightweight String Reasoning for OCL
  21. Altmetric Badge
    Chapter 20 Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering
  22. Altmetric Badge
    Chapter 21 Metamodel Based Methodology for Dynamic Component Systems
  23. Altmetric Badge
    Chapter 22 Bidirectional Model Transformation with Precedence Triple Graph Grammars
  24. Altmetric Badge
    Chapter 23 A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications
  25. Altmetric Badge
    Chapter 24 Code Generation Nirvana
  26. Altmetric Badge
    Chapter 25 A Plug-in Based Approach for UML Model Simulation
  27. Altmetric Badge
    Chapter 26 MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
  28. Altmetric Badge
    Chapter 27 Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems
  29. Altmetric Badge
    Chapter 28 Unification of Compiled and Interpreter-Based Pattern Matching Techniques
  30. Altmetric Badge
    Chapter 29 OCL-Based Runtime Monitoring of Applications with Protocol State Machines
  31. Altmetric Badge
    Chapter 30 On Model Subtyping
  32. Altmetric Badge
    Chapter 31 BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer
  33. Altmetric Badge
    Chapter 32 Solving Acquisition Problems Using Model-Driven Engineering
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 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
Modelling Foundations and Applications
Published by
Springer Berlin Heidelberg, June 2012
DOI 10.1007/978-3-642-31491-9
ISBNs
978-3-64-231490-2, 978-3-64-231491-9
Editors

Vallecillo, Antonio, Tolvanen, Juha-Pekka, Kindler, Ekkart, Störrle, Harald, Kolovos, Dimitris

X Demographics

X Demographics

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 20%
Student > Bachelor 1 20%
Student > Master 1 20%
Unknown 2 40%
Readers by discipline Count As %
Computer Science 2 40%
Mathematics 1 20%
Unknown 2 40%