Listar por autor 

Listar por autor "Oakes, Bentley James"  

Mostrando ítems 1-2 de 2

    • Artículo
      Icon

      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
      Icon

      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 ...