- idUS
- Listar por autor
Listar por autor "Oakes, Bentley James"
Mostrando ítems 1-2 de 2
-
Artículo
Full contract verification for ATL using symbolic execution
Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (Springer, 2016)The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a ...
-
Ponencia
Fully Verifying Transformation Contracts for Declarative ATL
Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (IEEE Computer Society, 2015)The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by ...