Buscar
Mostrando ítems 1-7 de 7
Ponencia
TractsTool: Testing Model Transformations based on Contracts
(CEUR-WS, 2013)
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, ...
Ponencia
Concurrent Model Transformations with Linda
(Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large ...
Ponencia
Towards Approximate Model Transformations
(CEUR-WS, 2014)
As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having ...
Ponencia
On the Modular Specification of NFPs: A Case Study
(Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful ...
Ponencia
On the Concurrent Execution of Model Transformations with Linda
(ACM Digital Library, 2013)
Nowadays there exists a wide variety of model transforma-tion languages. However, all of them present limitations, mainly performance issues, when the complexity and size of model transformations and models grow. The ...
Ponencia
Introducing Approximate Model Transformations
(Universidad de Cádiz, 2014)
Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The usual approach to improve performance in these cases has focused on the use of concurrency ...
Artículo
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022-11-21)
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 ...