Model Driven Engineering Languages and Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Objects and Arrows of Computational Design
3. Altmetric Badge
   Chapter 2 Algebraic Models for Bidirectional Model Synchronization
4. Altmetric Badge
   Chapter 3 An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
5. Altmetric Badge
   Chapter 4 Precise Semantics of EMF Model Transformations by Graph Transformation
6. Altmetric Badge
   Chapter 5 A Formal Metamodel for Problem Frames
7. Altmetric Badge
   Chapter 6 Visualization of Use Cases through Automatically Generated Activity Diagrams
8. Altmetric Badge
   Chapter 7 Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
9. Altmetric Badge
   Chapter 8 WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications
10. Altmetric Badge
    Chapter 9 The Future of Train Signaling
11. Altmetric Badge
    Chapter 10 NAOMI – An Experimental Platform for Multi–modeling
12. Altmetric Badge
    Chapter 11 Abstraction and Modelling — A Complementary Partnership
13. Altmetric Badge
    Chapter 12 Model Transformation as an Optimization Problem
14. Altmetric Badge
    Chapter 13 Example-Based Program Transformation
15. Altmetric Badge
    Chapter 14 Detecting Patterns of Poor Design Solutions Using Constraint Propagation
16. Altmetric Badge
    Chapter 15 A General Approach for Scenario Integration
17. Altmetric Badge
    Chapter 16 Behavioral Modelling and Composition of Object Slices Using Event Observation
18. Altmetric Badge
    Chapter 17 Scenario-Based Static Analysis of UML Class Models
19. Altmetric Badge
    Chapter 18 Constructing Models with the Human-Usable Textual Notation
20. Altmetric Badge
    Chapter 19 X3D-UML: 3D UML State Machine Diagrams
21. Altmetric Badge
    Chapter 20 Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment
22. Altmetric Badge
    Chapter 21 3D Parametric Models for Aeroplanes — From Idea to Design
23. Altmetric Badge
    Chapter 22 MOOGLE: A Model Search Engine
24. Altmetric Badge
    Chapter 23 Managing Model Conflicts in Distributed Development
25. Altmetric Badge
    Chapter 24 Metamodel Matching for Automatic Model Transformation Generation
26. Altmetric Badge
    Chapter 25 Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
27. Altmetric Badge
    Chapter 26 Implementation of the Conformance Relation for Incremental Development of Behavioural Models
28. Altmetric Badge
    Chapter 27 A Model-Based Framework for Statically and Dynamically Checking Component Interactions
29. Altmetric Badge
    Chapter 28 Formal Definition of MOF 2.0 Metamodel Components and Composition
30. Altmetric Badge
    Chapter 29 Interfaces and Metainterfaces for Models and Metamodels
31. Altmetric Badge
    Chapter 30 Model&Metamodel, Metadata and Document Repository for Software and Data Integration
32. Altmetric Badge
    Chapter 31 Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
33. Altmetric Badge
    Chapter 32 A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
34. Altmetric Badge
    Chapter 33 Contrary-to-Duties Constraints: From UML to Relational Model
35. Altmetric Badge
    Chapter 34 A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms
36. Altmetric Badge
    Chapter 35 Integrating Performance Analysis in the Model Driven Development of Software Product Lines
37. Altmetric Badge
    Chapter 36 A Model-Driven Measurement Approach
38. Altmetric Badge
    Chapter 37 Specifying Service Composition Using UML 2.x and Composition Policies
39. Altmetric Badge
    Chapter 38 A Model-Based Framework for Security Policy Specification, Deployment and Testing
40. Altmetric Badge
    Chapter 39 A Pattern Language Verifier for Web-Based Enterprise Applications
41. Altmetric Badge
    Chapter 40 Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty
42. Altmetric Badge
    Chapter 41 Autonomic Management Policy Specification: From UML to DSML
43. Altmetric Badge
    Chapter 42 Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density
44. Altmetric Badge
    Chapter 43 An Empirical Investigation on Dynamic Modeling in Requirements Engineering
45. Altmetric Badge
    Chapter 44 Heterogeneous Coupled Evolution of Software Languages
46. Altmetric Badge
    Chapter 45 Automatability of Coupled Evolution of Metamodels and Models in Practice
47. Altmetric Badge
    Chapter 46 Enriching Reverse Engineering with Annotations
48. Altmetric Badge
    Chapter 47 Towards a Formal Account of a Foundational Subset for Executable UML Models
49. Altmetric Badge
    Chapter 48 A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
50. Altmetric Badge
    Chapter 49 Semantically Configurable Code Generation
51. Altmetric Badge
    Chapter 50 Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams
52. Altmetric Badge
    Chapter 51 Adding Dependability Analysis Capabilities to the MARTE Profile
53. Altmetric Badge
    Chapter 52 Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications
54. Altmetric Badge
    Chapter 53 Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
55. Altmetric Badge
    Chapter 54 An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
56. Altmetric Badge
    Chapter 55 Managing Variability Complexity in Aspect-Oriented Modeling
57. Altmetric Badge
    Chapter 56 Mapping the UML2 Semantics of Associations to a Java Code Generation Model
58. Altmetric Badge
    Chapter 57 Meaningful Composite Structures
59. Altmetric Badge
    Chapter 58 A Systematic Approach to Connectors in a Multi-level Modeling Environment
60. Altmetric Badge
    Chapter 59 Model-Based Quality Assurance of Automotive Software
61. Altmetric Badge
    Chapter 60 Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA
62. Altmetric Badge
    Chapter 61 General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool
63. Altmetric Badge
    Chapter 62 Workshops at MODELS 2008
64. Altmetric Badge
    Chapter 63 Educators Symposium at MODELS 2008
65. Altmetric Badge
    Chapter 64 Doctoral Symposium at MODELS 2008
66. Altmetric Badge
    Chapter 65 Tutorials at MODELS 2008
67. Altmetric Badge
    Chapter 66 Panels at MODELS 2008