A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations.

Davide Di Ruscio Ludovico Iovino Alfonso Pierantonio

Published in: ICMT (2013)

Keyphrases

multi agent systems
temporal logic
model checking
metamodel
object oriented
real time
data sets
data model
databases
information retrieval
software engineering
game theory
evolution process