En este segundo corte avanzaremos en el estudio de la verificación formal de programas, fortaleciendo la capacidad para analizar si un programa cumple las condiciones y propiedades especificadas.
Para este propósito, cada grupo tendrá asignado un tema de exposición relacionado con la Unidad 3 y los capítulos 5, 6 y 7.
Durante la exposición, cada grupo deberá investigar, explicar y aplicar el tema asignado, incluyendo conceptos fundamentales, ejemplos y una aplicación práctica relacionada con el desarrollo formal de software y, cuando sea pertinente, con el proyecto del curso.
Los invito a preparar la exposición no solo para presentar información, sino para comprender el tema, explicarlo con claridad y demostrar cómo se aplica al desarrollo formal de software.
En este tercer corte avanzaremos hacia la prueba, verificación automatizada y calidad del software, aplicando los conocimientos desarrollados durante el curso para analizar, diseñar y evaluar diferentes estrategias de prueba y técnicas de verificación.
Cada grupo tendrá asignado un tema de exposición relacionado con la Unidad 4 y los capítulos 8, 9 y 10.
Durante la exposición, cada grupo deberá investigar, explicar y aplicar el tema asignado, presentando sus conceptos fundamentales, ejemplos y, cuando sea pertinente, una aplicación práctica relacionada con el desarrollo formal de software y con el proyecto del curso.
La finalidad no es solamente presentar un tema, sino comprender cómo las diferentes técnicas de prueba y verificación contribuyen a evaluar y mejorar la calidad del software.
