Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Author "Barsotti, Damián"
Now showing items 1-3 of 3
-
Exploración y visualización de redes de músicos
Zapata, Illak (2018)Se presenta la elaboración completa de un sistema de visualización interactiva de redes de músicos con el fin de comunicar relaciones y afinidades entre los mismos, sumado a sus datos biográficos y producción artística. ... -
PEF: Python Error Finder
Bordese, Andrés Matías; Hayes, Tomás (2014-12)La verificación del correcto funcionamiento de los sistemas es uno de los aspectos más importante del desarrollo de software, y a su vez, uno de los más costosos de llevar a cabo. El testing tradicional y la verificación ... -
Verificación formal de código binario
Arch, David Daniel (2015)Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...