Edición de «Ingeniería de Software II»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
{{ | {{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. | ||
Línea 9: | Línea 8: | ||
== Programa == | == Programa == | ||
* Modelos de Concurrencia | * Modelos de Concurrencia | ||
* Algebras de Proceso y Bisimulación | * Algebras de Proceso y Bisimulación | ||
* Lógicas temporales. LTL | * Lógicas temporales. LTL y CTL | ||
* Model Checking de LTL | * Model Checking de LTL y CTL | ||
* Bounded Model Checking | |||
* Predicate abstraction | |||
== Apuntes == | == Apuntes == | ||
* [[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] | * [[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 == | == Exámenes == | ||
=== Primer Parcial === | === Primer Parcial === | ||
* Primer | * 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)]] | |||
* Simulacro del único parcial 2do cuatrimestre 2018 [[Medio:Ing2_simulacro_2018c2.pdf| (Enunciado)]] | |||
* Parcial | |||
* Simulacro del | |||
=== Segundo Parcial === | === Segundo Parcial === | ||
* Segundo parcial 21/10/2019 [[Medio:ing2_2do_parcial_21-10-19.pdf| (Resuelto)]] | |||
* Segundo parcial | |||
=== Coloquio === | === Coloquio === |