Publication Date: 2008
ISBN: 978-3-540-69927-9
Internet Resource: Please Login to download book
This book includes different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
Subject: Computer Science, Unified Modeling Language (UML), aspect-oriented modeling, calculus, domain-specific languages, embedded systems, formal methods, formal semantics, generic programming, graph transformation, meta-modeling, model checking, model transformation, model-driven architecture, modeling, modeling quality, Theory of Computation