Browsing Trabajos finales de carrera by Author "Moreno Negro, Silvana"

Sort by: Order: Results:

  • Colmenero Zito, Guillermo (Universidad ORT Uruguay, 2016)
    En este trabajo se estudia una metodología formal para el desarrollo de programas, basada en la Lógica de Hoare, utilizando el lenguaje Dafny, que tiene un compilador-verificador para este formalismo. Se presenta el ...