Listar Artículos (Lenguajes y Sistemas Informáticos) por materia 

ListarArtículos (Lenguajes y Sistemas Informáticos) por materia "Maude"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      A Rewriting Logic Semantics for ATL 

      Troya Castilla, Javier; Vallecillo Moreno, Antonio (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 ...