Título: Condiciones de borde inevitables
Director: Sebastián Uchitel
Jurados: Prof. Santiago Cifuentes (UBA), Prof. Nazareno Aguirre (UNRC)

Resumen:
La ingeniería de requerimientos debe lidiar frecuentemente con metas conflictivas resultantes de múltiples partes interesadas o errores de especificación. Un concepto extensamente estudiado para identificar estos conflictos es el de las condiciones de borde, que son aquellas situaciones bajo las cuales los objetivos de un sistema no pueden ser alcanzados. Estas suelen ser utilizadas para un mejor entendimiento de los problemas dentro de una especificación. Esta tesis sostiene que la definición clásica de estas condiciones es demasiado débil, llevando a que un ingeniero deba tener en cuenta condiciones de borde poco útiles a la hora de arreglar una especificación. Para remediar esto, la tesis propone una formulación más fuerte: las Condiciones de Borde Inevitables (UBC), incorporando la noción de realizabilidad proveniente de la Síntesis Reactiva. Al centrarse exclusivamente en aquellas condiciones de borde que el sistema no puede evitar dentro de especificaciones irrealizables, se reduce de manera no trivial el número de alertas que los ingenieros deben procesar. El trabajo formaliza la noción de UBC, demuestra experimentalmente su eficacia para filtrar resultados de herramientas existentes y reparar automáticamente especificaciones y además establece su relación teórica con conceptos de Síntesis Reactiva como la irrealizabilidad, las contraestrategias y los núcleos irrealizables.

Palabras clave: Condiciones de Borde, Síntesis Reactiva, Realizabilidad, Juegos LTL, Especificaciones Formales.