Diferencia entre revisiones de «Ingeniería de Software II»

De Cuba-Wiki
(No se muestran 8 ediciones intermedias de 4 usuarios)
Línea 16: Línea 16:


== Apuntes ==
== Apuntes ==
== Parciales ==
 
* [[Medio:Ing2_apunte_2019.pdf| Apuntes para parciales 2019]]. <big style="color: red">Usar a discreción</big>. 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. [https://github.com/Gian150/resumenes-uba/tree/master/Ing2 Codigo fuente]
 
== Exámenes ==
=== Primer Parcial ===
=== Primer Parcial ===
* Primer parcial 19/09/2019 [[Medio:Ing2 1parcial 19-09-19.pdf| (Resuelto)]]
* Primer parcial 19/09/2019 [[Medio:Ing2 1parcial 19-09-19.pdf| (Resuelto)]]
Línea 23: Línea 26:


=== 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 ==

Revisión del 18:56 20 mar 2020

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

Segundo Parcial

Coloquio

Finales

Enlaces Externos