Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Dingel, Juergen (Editor ), Schulte, Wolfram (Editor ), Ramos, Isidro (Editor ), Abrahao, Silvia (Editor ), Insfran, Emilio (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Programming and Software Engineering, 8767
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:
  • 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.

Ejemplares similares