Model-driven engineering languages and systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014. Proceedings /

Model-driven engineering languages and systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014. Proceedings / Juergen Dingel ... [and 4 more] (eds.)

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Author: MODELS (Conference) Valencia, Spain)
Other Authors: Dingel, Juergen (Editor)
Other title:MODELS 2014.
Format: Conference Proceeding eBook
Language:English
Published: Cham : Springer, 2014.
Series:Lecture notes in computer science ; 8767.
LNCS sublibrary. Programming and software engineering.
Subjects:
Computer software > Development > Congresses.
Model-integrated computing > Congresses.
Model-driven software architecture > Congresses.
Computer software > Development.
Model-driven software architecture.
Model-integrated computing.
Conference papers and proceedings.
Table of Contents:
  • Cloud, Mobile and Web Computing
  • Model-Driven Development of Mobile Applications Allowing Role-Driven Variants
  • A Model-Based System to Automate Cloud Resource Allocation and Optimization
  • An Evaluation of the Effectiveness of the Atomic Section Model
  • Model Transformation 1
  • Parsing in a Broad Sense
  • Streaming Model Transformations by Complex Event Processing
  • On the Use of Signatures for Source Incremental Model-to-text Transformation
  • Behavioral Modeling
  • Modeling Systemic Behavior by State-Based Holonic Modular Units
  • Semantic Model Differencing Utilizing Behavioral Semantics Specifications
  • Formalizing Execution Semantics of UML Profiles with fUML Models
  • MDE: Past, Present and Future.-Who Knows/Uses What of the UML: A Personal Opinion Survey
  • Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain
  • The Relevance of Model-Driven Engineering Thirty Years from Now
  • Formal Semantics, Specification and Verification
  • Verifying Compilation of Synchronous Distributed Applications
  • Environment-Centric Contracts for Design of Cyber-Physical Systems
  • Removing Redundancies and Deducing Equivalences in UML Class Diagrams
  • Models at Runtime
  • A Native Versioning Concept to Support Historized Models at Runtime
  • Modelling Adaptation Policies as Domain-Specific Constraints
  • Scalable Armies of Model Clones through Data Sharing
  • Feature and Variability Modeling
  • Three Cases of Feature-Based Variability Modeling in Industry
  • Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned
  • Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process
  • Composition and Adaptation
  • An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink
  • A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes
  • Model-Integrating Software Components
  • Practices and Experience
  • Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain
  • Model Driven Grant Proposal Engineering
  • Agile Model-Driven Engineering in Mechatronic Systems
  • An Industrial Case Study
  • Modeling for Analysis
  • Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law
  • Resolution of Interfering Product Fragments in Software Product Line Engineering
  • Ontology-Based Modeling of Context-Aware Systems
  • Pragmatics
  • Comprehending Feature Models Expressed in CVL
  • On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters
  • Enabling the Development of Cognitive Effective Visual DSLs
  • Model Extraction, Manipulation and Persistence
  • JUMP—From Java Annotations to UML Profiles
  • SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations
  • A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence
  • Model Transformation 2
  • Automated Chaining of Model Transformations with Incompatible Metamodels
  • Classification of Model Transformation Tools: Pattern Matching Techniques
  • Learning Implicit and Explicit Control in Model Transformations by Example
  • Querying and Reasoning IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud
  • Translating OCL to Graph Patterns.

Similar Items