Buscar
Mostrando ítems 1-1 de 1
Artículo
A Rewriting Logic Semantics for ATL
(AITO: Association Internationale pour les Technologies Objets, 2011)
As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise speci cations of the expected behavior of transformations, ...