Browsing by Author "Tasistro Souto, Álvaro Daniel"

Sort by: Order: Results:

  • Copes Sabaj, Martín (Universidad ORT Uruguay, 2018)
    En el siguiente trabajo se presenta la formalización en Agda del Teorema de Estandarización para el Cálculo Lambda. Se presenta un corolario del Teorema de Estandarización junto con la demostración del teorema de reducción ...
  • Silveira Ocampo, Joaquín Darío (Universidad ORT Uruguay, 2018)
    El proyecto realizado se enmarca en el análisis de movimientos de robots humanoides bípedos, su simulación física por software y el desarrollo de estrategias de control de caminata. Esto se realiza por medio de un ambiente ...
  • Giordano Laurente, Roque; Machado Debia, Federico Matías (Universidad ORT Uruguay, 2014)
    BioWiz es una suite informática enfocada al uso en el laboratorio. En la suite se presentan cinco programas que cumplen diversas funciones aplicables al laboratorio. 1) PlaqueReader: sirve para ayudar al cálculo de curvas ...
  • 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 ...
  • Duphly 
    Nieves Molina, Gastón Javier; Zunino Hekimian, Juan Ignacio (Universidad ORT Uruguay, 2016)
    El proyecto consiste en el desarrollo de una herramienta que cuenta con la capacidad de componer música de blues de 12 compases. Dicha herramienta permite la composición de forma automática y semi-automática. En la segunda ...
  • 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 ...
  • Santurio Medina, Emil (Universidad ORT Uruguay, 2018)
    El trabajo aborda el problema de definir un lenguaje declarativo para especificar los formularios de entrada de datos y el problema de compilar dicho lenguaje para generar código ejecutable que implemente el módulo de ...
  • Santurio Medina, Emil; Silveira Ocampo, Joaquín Darío (Universidad ORT Uruguay, 2017)
    El trabajo consiste en la definición de un lenguaje declarativo para especificar interfaces de programas en la forma de formularios. El lenguaje cubre las construcciones más frecuentes en un formulario y contempla algunas ...
  • 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 ...
  • Rodríguez Rodríguez, Lorenzo (Universidad ORT Uruguay, 2018)
    El testeo de software es una de las fases cruciales del proceso de ingeniería de software y una de las más costosas tanto en recursos humanos como en tiempo dedicado a esta actividad. Se han desarrollado modelos y prácticas ...
  • Copes Sabaj, Martin (Universidad ORT Uruguay, 2016)
    El presente trabajo presenta un curso introductorio a la programación, de dos semestres de duración, cuyo enfoque está basado en el razonamiento de la corrección de los programas. El objetivo es enseñar un lenguaje ...
  • Ferreira Lozano, Nicolás (Universidad ORT Uruguay, 2018)
    En los últimos diez años han aparecido herramientas para la verificación formal de programas que están entre los verificadores completamente automáticos y los verificadores que aceptan entrada del usuario en todos los pasos ...
  • OntoCIS 
    Sarni Cornes, Lucía (Universidad ORT Uruguay, 2018)
    Se propone una ontología del currículo de la carrera Ingeniería en Sistemas de la Universidad ORT Uruguay, diseñada con la intención de definir un vocabulario común y servir como base a posibles sistemas que faciliten la ...
  • Delbono Fripp, Mauricio; Mangold Dreher, Christian Eduardo (Universidad ORT Uruguay, 2017)
    El presente proyecto consiste en el desarrollo de un sistema de realidad virtual para la simulación de un piano de concierto. Este simulador permite la ejecución del piano en realidad virtual, teniendo como opciones tocar ...
  • Milieris Caban, Alejandro; Fogel Herrnstadt, Eitan (Universidad ORT Uruguay, 2016)
    El objetivo del trabajo fue generar material didáctico para el aprendizaje de la derivación de algoritmos en estilo imperativo, a partir de pre y postcondiciones, basado en el uso de invariantes. Para tal fin, se proponen: ...
  • Borrazas Barbosa, Sebastián (Universidad ORT Uruguay, 2018)
    La evolución de las herramientas para la construcción de compiladores e intérpretes posibilita ahora desarrollarlos de forma fácil. Este motivo, sumado a la mejora en la capacidad de procesamiento de las computadoras, ...
  • 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 ...
  • Zorro 
    Michelini Jorge, Juan Pedro (Universidad ORT Uruguay, 2013)
    El objetivo del presente trabajo es formalizar un método de construcción de demostraciones formales con base en la matemática calculacional de Dijkstra y restringido a la lógica proposicional. El método se formalizará e ...