Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings /

This book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009. The 23 revised full papers presented - 16 research papers and 7 industry papers - were carefully...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Paige, Richard F. (Editor), Hartman, Alan (Editor), Rensink, Arend (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Programming and Software Engineering, 5562
Subjects:
Software engineering.
Computer networks .
Computer engineering.
Computer science.
Electronic data processing-Management.
Software Engineering.
Computer Communication Networks.
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.
IT Operations.
Online Access:Texto Completo
Table of Contents:
  • Creating Embedded Platforms with MDA: Where's the Sweet Spot?
  • Creating Embedded Platforms with MDA: Where's the Sweet Spot?
  • Foundations
  • Comparison of Three Model Transformation Languages
  • On the Use of Higher-Order Model Transformations
  • Managing Model Adaptation by Precise Detection of Metamodel Changes
  • A Pattern Mining Approach Using QVT
  • A Language-Theoretic View on Guidelines and Consistency Rules of UML
  • A Domain Specific Language for Extracting Models in Software Modernization
  • Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
  • Derivation and Refinement of Textual Syntax for Models
  • Uniform Random Generation of Huge Metamodel Instances
  • Establishing Correspondences between Models with the Epsilon Comparison Language
  • Dependent and Conflicting Change Operations of Process Models
  • Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
  • Temporal Extensions of OCL Revisited
  • An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications
  • A Model Driven Approach to the Analysis of Timeliness Properties
  • A Hybrid Graphical and Textual Notation and Editor for UML Actions
  • Applications
  • Mapping Requirement Models to Mathematical Models in Control System Development
  • On Study Results: Round Trip Engineering of Space Systems
  • MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
  • Managing Flexibility: Modeling Binding-Times in Simulink
  • Experiences of Developing a Network Modeling Tool Using the Eclipse Environment
  • MBT4Chor: A Model-Based Testing Approach for Service Choreographies
  • Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study.

Similar Items