Ingeniería de Software - FCEIA - UNR

<body bgcolor="#FFFFFF" text="#000000" link="#990000" vlink="#006666" alink="#CC9966"><font face="trebuchet ms, arial, helvetica"> Ingeniería de Software Facultad de Ciencias Exactas, Ingeniería y Agrimensura Universidad Nacional de Rosario Programa de la materia: Unidad I: Arquitecturas de software 1.Vocabulario, conceptos y problemas 2.Estilos arquitectónicos 1.Llamada a procedimiento: no fue suficiente 2.Flujo de datos 1.Batch sequential 2.Tubos y filtros 3.Control de procesos 3.Sistemas de información 1.Sistemas cliente-servidor 2.Sistemas de información compartida 3.Blackboard systems 4.Eventos 5.Resumen: comparación de estilos 3.Architecture description languages 1.Requisitos para ADLs 2.Writght 4.Análisis de arquitecturas 1.Cómo y por qué se debe analizar una arquitectura 2.Análisis formal de descripciones Wright 3.Vista rápida de SAAM (Software Architecture Analisys Method) 4.Aplicación de SAAM a KWIC 5.Aplicación de SAAM a un sistema de administración 6.Aplicación de SAAM a un sistema tipo CVS 5.Revisión de arquitecturas 1.Costos y beneficios 2.Técnicas de revisión 3.La práctica de la revisión Unidad II: Verificación de software 1.Testing 1.El testing y su relación con el ciclo de vida de un sistema 2.Terminología y definiciones básicas 3.Testing estructural: criterios de cobertura de flujo de control y de flujo de datos 4.Testing funcional y especificaciones formales: estrategias de cobertura y oráculos 2.Análisis de especificaciones en Z 1.El asistente de pruebas Z/EVES 2.Teoremas en Z/EVES 3.El teorema de inicialización 4.Cálculo de precondiciones 5.Errores de dominio 6.Inconsitencias 7.Propiedades del modelo 3.Análisis de especificaciones Larch 1.Aumentando una especificación Larch con las consecuencias esperadas 2.El asistente de pruebas LP (Larch Prover) 3.Verificación de implicaciones 4.Verificación de supuestos 5.Obligaciones de prueba para especificaciones LSL 6.Traducción de traits LSL en LP 7.Mecanismos de prueba en LP 8.Probando una ecuación 9.Probando una cláusula partitioned by 10.Probando una cláusula generated by 11.Probando una cláusula converts 12.Verificación de consistencia 13.Un ejemplo general  <a href="index.html">index.html</a> <a href="homeiz.htm">homeiz.htm</a> <a href="homeder.html">homeder.html</a> <a href="programa.html">programa.html</a> <a href="bibliografia.html">bibliografia.html</a> <a href="cronograma.html">cronograma.html</a> <a href="transparencias.html">transparencias.html</a> <a href="evaluaciones.html">evaluaciones.html</a> <a href="docentes.html">docentes.html</a> <a href="horarios.html">horarios.html</a> <a href="ligas.html">ligas.html</a> </font></body>