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

De Cuba-Wiki
(No se muestran 9 ediciones intermedias de 2 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 ==
== Parciales ==
== Parciales ==
=== Primer Parcial ===
=== Primer Parcial ===
*[[Medio:Ing2_1parcial_01-11-18.pdf| Parcial único (Enunciado)]] *[[Medio:Ing2_1parcial_01-11-18_resuelto.pdf| (Resuelto)]]
* Primer parcial 19/09/2019 [[Medio:Ing2 1parcial 19-09-19.pdf| (Resuelto)]]
*[[Medio:Ing2_simulacro_2018c2.pdf| Simulacro del único parcial (Enunciado)]]
* 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)]]


=== Segundo Parcial ===
=== Segundo Parcial ===


== 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 01:42 4 oct 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

Parciales

Primer Parcial

Segundo Parcial

Finales

Enlaces Externos