Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /

This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Vallecillo, Antonio (Επιμελητής έκδοσης), Gray, Jeff (Επιμελητής έκδοσης), Pierantonio, Alfonso (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Σειρά:Lecture Notes in Computer Science, 5063
Θέματα:
Computer science.
Computers.
Computer Science.
Theory of Computation.
Computer Science, general.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Process and Engineering of Model Transformations
  • Transformations Have to be Developed ReST Assured
  • Lifting Transformational Models of Product Lines: A Case Study
  • Model Synchronisation: Definitions for Round-Trip Engineering
  • The Epsilon Transformation Language
  • Model Transformations Supporting Concurrency and Time
  • Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
  • On Specifying and Visualising Long-Running Empirical Studies
  • Programmed Graph Rewriting with Time for Simulation-Based Design
  • Matching and Mapping within Model Transformation Rules
  • Live Model Transformations Driven by Incremental Pattern Matching
  • Semantics-Based Weaving of UML Sequence Diagrams
  • Translation of QVT Relations into QVT Operational Mappings
  • Language Support for Model Transformation Reuse and Modularity
  • Composition Techniques for Rule-Based Model Transformation Languages
  • Approaches for Model Transformation Reuse: Factorization and Composition
  • Code Generation by Model Transformation
  • Application of Reflection in Model Transformation Languages
  • Correctness and Analysis of Model Transformations
  • Proofs-as-Model-Transformations
  • Analysing Graph Transformation Rules through OCL
  • Extracting Object Interactions Out of Software Contracts Using Model Transformations.

Παρόμοια τεκμήρια