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

De Cuba-Wiki
Saltar a: navegación, buscar
(Segundo parcial 2do cuat 2019)
(Coloquio)
(No se muestra una edición intermedia del mismo usuario)
Línea 16: Línea 16:
  
 
== Apuntes ==
 
== Apuntes ==
== Parciales ==
+
== 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 24: Línea 24:
 
=== Segundo Parcial ===
 
=== Segundo Parcial ===
 
* Segundo parcial 21/10/2019 [[Medio:ing2_2do_parcial_21-10-19.pdf| (Resuelto)]]
 
* 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:22 29 nov 2019

Essay.svg Esta página necesita que se completen sus guías de ejercicios.
El estado actual de las guías de ejercicios no es el esperado. Se agradece cualquier aporte de ejercicios nuevos o corrección de los ejercicios actuales. Los ejercicios deben incluir su enunciado.

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

Segundo Parcial

Coloquio

Finales

Enlaces Externos