Herramientas Personales
Usted está aquí: Inicio → Agenda → Defensa Tesis Licenciatura Diego Dobnieswski y Gabriel Gasser Noblia
 

Defensa Tesis Licenciatura Diego Dobnieswski y Gabriel Gasser Noblia

— archivado en:

Título: Verificación de un sistema de votación usando SAT-Solving. Director: Lic. Juan Pablo Galeotti.

Qué
  • Tesis de Licenciatura
Cuándo 03/05/2010
de 03:30 pm a 04:30 pm
Dónde Aula E24, Pab. I
Agregar evento al calendario vCal
iCal
  • Título: Verificación de un sistema de votación usando SAT-Solving.
  • Director: Lic. Juan Pablo Galeotti.
  • Jurados: Dr. Diego Garbervetsky, Dr. Marcelo Frías.
  • Resumen:

Diversos estudios exponen que el mantenimiento del software requiere una gran cantidad de recursos en comparación con el desarrollo del mismo. Además la experiencia sugiere que la detección temprana de errores en las aplicaciones reduce los costos futuros relacionados a la corrección de los mismos. TACO es una herramienta para realizar verificación formal de programas, detectando de esta manera defectos en los mismos.

A lo largo del desarrollo de esta tesis introducimos el lenguaje de representación intermedia JDynAlloy. Modificamos TACO para que realice la traducción de JML a JDynAlloy y de JDynAlloy a DynAlloy. Analizamos un caso de estudio con la nueva versión de la herramienta TACO y con la herramienta JMLFoge.

Finalmente realizamos conclusiones sobre el comportamiento de TACO.

Acciones de Documento