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

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: France, Robert B. (Editor ), Kazmeier, Jürgen (Editor ), Breu, Ruth (Editor ), Atkinson, Colin (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7590
Temas:
Compilers (Computer programs).
Software engineering.
Computer science.
Electronic data processing-Management.
Computer simulation.
Electronic digital computers-Evaluation.
Compilers and Interpreters.
Software Engineering.
Computer Science Logic and Foundations of Programming.
IT Operations.
Computer Modelling.
System Performance and Evaluation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares