Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: France, Robert B. (Επιμελητής έκδοσης), Kazmeier, Jürgen (Επιμελητής έκδοσης), Breu, Ruth (Επιμελητής έκδοσης), Atkinson, Colin (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7590
• Θέματα: Computer science.; Computer system failures.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer simulation.; Management information systems.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Simulation and Modeling.; System Performance and Evaluation.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 s...

Πίνακας περιεχομένων:

• Quantitative Reactive
• Bottom-Up Meta-Modelling: An Interactive
• T_: A Domain Specific Language for Rapid Workflow
• Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time
• Dynamic Evolution of Context-Aware Systems with Models at Runtime
• An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
• Automated and Transparent Model Fragmentation for Persisting Large Models
• Formally Defining and Iterating Infinite Models
• Query-Driven Soft Interconnection of EMF Models
• Modeling the Linguistic Architecture of Software Products
• Cross-Language Support Mechanisms Significantly Aid Software Development
• Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension
• Incremental Consistency Checking for Complex Design Rules and Larger Model Changes
• Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment
• On Integrating Structure and Behavior Modeling with OCL
• Multi-perspectives on Feature Models
• Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines
• Towards Business Application Product Lines
• Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines
• The Coroutine Model of Computation
• Assume-Guarantee Scenarios: Semantics and Synthesis
• An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development
• A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software
• Managing Related Models in Vehicle Control Software Development
• Detecting Specification Errors in Declarative Languages with Constraints
• From UML and OCL to Relational Logic and Back
• On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers
• ATLTest: A White-Box Test Generation Approach for ATL Transformations
• Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis
• Seeing Errors: Model Driven Simulation Trace Visualization
• A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data
• Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System
• Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines
• Generation of Operational Transformation Rules from Examples of Model Transformations
• Using Feature Model to Build Model Transformation Chains
• A Generic Approach Simplifying Model-to-Model Transformation Chains
• An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling
• Model Matching for Trace Link Generation in Model-Driven Software Development
• Matching Business Process Workflows across Abstraction Levels
• Experiences of Applying UML/MARTE on Three Industrial Projects
• Evaluating the Effort of Composing Design Models: A Controlled
• Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same?
• Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions
• A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study
• Sensitivity Analysis in Model-Driven Engineering
• Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
• Weaving-Based Configuration and Modular Transformation of Multi-layer Systems
• Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
• An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design.