Browsing Trabajos finales de carrera de postgrado by Author "Tasistro Souto, Álvaro Daniel"

Sort by: Order: Results:

  • Pais Falero, Jorge Andrés (Universidad ORT Uruguay, 2013)
    En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de ...
  • Damonte Callorda, Pablo Gabriel (Universidad ORT Uruguay, 2015)
    Los sistemas de tiempo real, en general, requieren que su funcionamiento carezca de fallas. En el caso de los controladores de marcapasos, esto resulta de vital importancia. En el marco del desafío propuesto por el fabricante ...
  • Michelini Jorge, Juan Pedro (Universidad ORT Uruguay, 2016)
    El trabajo presenta un método original para establecer y demostrar conjeturas de la teoría ecuacional del cálculo lambda tipado. Incluye una serie de reglas que permiten al estudiante descubrir, por ejemplo, el tipo de las ...
  • Copello Gigirey, Ernesto Sebastián (Universidad ORT Uruguay, 2011)
    El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una ...
  • Fornaro Rosado, Carlos Nicolás (Universidad ORT Uruguay, 2013)
    El término Ingeniería Dirigida por Modelos (MDE) se utiliza para describir enfoques de desarrollo de software en los cuales se crean modelos abstractos de sistemas de software que son transformados de manera sistemática ...