Listar ITIS - Artículos por autor "Segura, Sergio"
Mostrando ítems 1-1 de 1
-
Model Transformation Testing and Debugging: A Survey
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...