Search
Now showing items 21-26 of 26
Semántica operacional y su aplicación para el estudio de recolección de basura, en Lua 5.2
(2021)
Lua es un lenguaje de programación imperativo de scripting, que ofrece tipado dinámico, manejo automático de memoria, facilidades para la descripción de datos, y mecanismos de metaprogramación para adaptar el lenguaje a ...
Aspectos de adquisición de lenguaje en la enseñanza de programación
(2020-07)
La enseñanza de la programación se ha transformado en un tema popular en los últimos años. Sin embargo, la programación es una disciplina tan reciente que poco se sabe de su didáctica. El objetivo general de esta tesis es ...
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, ...
Mejoras al testing exhaustivo acotado
(2015-03)
El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del ...
Implementación eficiente de construcciones de alto nivel para la programación concurrente
(2011)
El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT ...
Estudio de representaciones mediante co-embeddings para estudiantes y contenidos en minerı́a de datos educativos
(2019-09)
Este trabajo es un estudio sobre la generación automática de representaciones basadas en
métodos neuronales, en aplicaciones dentro del área de Minerı́a de Datos Educacionales (EDM).
Se propone utilizar una arquitectura ...