Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Lenguajes de programación"
Now showing items 1-2 of 2
-
Soporte para ARM en un compilador verificado
(2022-12)Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ... -
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
(2015-05)Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, ...