Search
Now showing items 141-143 of 143
Relation-changing modal logics
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
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 ...
Estudio espectrofotométrico de la galaxia NGC 253
(2018-12)
NGC 253 es la galaxia más masiva del grupo del Escultor, es la galaxia más cercana en
evidenciar el fenómeno starburst, y observaciones recientes de ALMA demostraron que su
evolución global está afectada por el flujo de ...