Buscar
Mostrando ítems 1-1 de 1
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 ...