Buscar
Mostrando ítems 1-2 de 2
Ponencia
Towards a Rewriting Logic Semantics for ATL
(Springer, 2010)
As the complexity of model transformation (MT) grows, the need to count on formal semantics ofMT languages also increases. Firstly, formal semantics provide precise specifications of the expected behavior of transforma ...
Ponencia
Simulating Domain Specific Visual Models by Observation
(ACM Digital Library, 2010)
Domain Specific Visual Languages (DSVLs) are essential elements in Model-Driven Engineering (MDE) for representing models and metamodels. In-place model transformations provide an intuitive way to complement metamodels ...