Buscar
Mostrando ítems 1-2 de 2
Ponencia
Fully Verifying Transformation Contracts for Declarative ATL
(IEEE Computer Society, 2015)
The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such transformations provide an important pillar ...
Ponencia
Towards Systematic Mutations for and with ATL Model Transformations
(IEEE Computer Society, 2015)
Model transformation is a key technique to automate software engineering tasks, such as generating implementations of software systems from higher-level models. To enable this automation, transformation engines are used ...