Diferencia entre revisiones de «Ingeniería de Software II»
(No se muestran 11 ediciones intermedias de 4 usuarios) | |||
Línea 1: | Línea 1: | ||
{{Completar guías}} | {{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 [[Plan de la Carrera#Cuarto año|Cuarto año]]. Se necesita [[Ingeniería de Software I]], [[Paradigmas de Lenguajes de Programación]] y [[Sistemas Operativos]] para cursarla. | '''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 [[Plan de la Carrera#Cuarto año|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 == | ||
== | == Exámenes == | ||
=== Primer Parcial === | === Primer Parcial === | ||
* Primer parcial 19/09/2019 [[Medio:Ing2 1parcial 19-09-19.pdf| (Resuelto)]] | |||
* Parcial único 01/11/2018 [[Medio:Ing2_1parcial_01-11-18.pdf| (Enunciado)]] [[Medio:Ing2_1parcial_01-11-18_resuelto_parte1.pdf| (Resuelto)]] [[Medio:Ing2_1parcial_01-11-18_resuelto_parte2.pdf| (Resuelto)]] | * Parcial único 01/11/2018 [[Medio:Ing2_1parcial_01-11-18.pdf| (Enunciado)]] [[Medio:Ing2_1parcial_01-11-18_resuelto_parte1.pdf| (Resuelto)]] [[Medio:Ing2_1parcial_01-11-18_resuelto_parte2.pdf| (Resuelto)]] | ||
* Simulacro del único parcial 2do cuatrimestre 2018 [[Medio:Ing2_simulacro_2018c2.pdf| (Enunciado)]] | * Simulacro del único parcial 2do cuatrimestre 2018 [[Medio:Ing2_simulacro_2018c2.pdf| (Enunciado)]] | ||
=== Segundo Parcial === | === Segundo Parcial === | ||
* Segundo parcial 21/10/2019 [[Medio:ing2_2do_parcial_21-10-19.pdf| (Resuelto)]] | |||
=== Coloquio === | |||
* Coloquio 21/11/2019 [[Medio:Ing2-coloquio-21-11-19.pdf| (Enunciado)]] | |||
== Finales == | == Finales == | ||
== Enlaces Externos == | |||
* [https://www.doc.ic.ac.uk/ltsa/eclipse/help/index.html?appendix_b___fsp_language_spec.htm Especificación de FSP] |
Revisión del 18:26 29 nov 2019
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
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)