Ingeniería de Software II

Plantilla:Completar guías Ingenería de Software II es una materia dedicada al estudio de la Ingeniería de Software. Según el Plan de la Carrera, es una materia a ser cursada en Cuarto año. Se necesita Ingeniería de Software I, Paradigmas de Lenguajes de Programación y Sistemas Operativos para cursarla.

Objetivo

En esta materia se estudiarán algoritmos, estructuras de datos, técnicas y herramientas que apuntan a analizar software automáticamente. Prácticamente todos los análisis interesantes (que serían de utilidad para un ingeniero de software que desea garantías sobre el comportamiento de lo que está construyendo) son indecidibles o computacionalmente intratables. Por lo tanto lo que se estudiará en clase es el estado del arte en materia de análisis y verificación automática, un área que a pesar de estar dando pasos agigantados, aún tiene mas preguntas abiertas que respuestas.

Programa

• Modelos de Concurrencia
• Algebras de Proceso y Bisimulación
• Lógicas temporales. LTL y CTL
• Model Checking de LTL y CTL
• Bounded Model Checking
• Predicate abstraction

Apuntes

• Apuntes para parciales 2019. Usar a discreción. Esto fue un intento que hicimos con mi grupo de juntar y explicar los temas importantes de la materia para los primeros dos parciales. Puede contener errores y faltar cosas. Codigo fuente

Exámenes

Primer Parcial

• Primer parcial 19/09/2019 (Resuelto)
• Parcial único 01/11/2018 (Enunciado) (Resuelto) (Resuelto)
• Simulacro del único parcial 2do cuatrimestre 2018 (Enunciado)

Segundo Parcial

• Segundo parcial 21/10/2019 (Resuelto)

Coloquio

• Coloquio 21/11/2019 (Enunciado)

Enlaces Externos

• Especificación de FSP