• Capítulo 7. Verificación de Programas Orientado a Objetos

    Aplicar técnicas de verificación a programas orientados a objetos, analizando el comportamiento de las clases, los métodos, los objetos y sus interacciones, con el fin de establecer si la implementación cumple las condiciones especificadas y mantiene la correctitud del software.

    • Introducción al capítulo 7. Verificación de Programación Orientada a Objetos - Exposiciones


      En este capítulo se estudiarán los fundamentos de la verificación de programas desarrollados bajo el paradigma de programación orientada a objetos, mediante exposiciones orientadas por los estudiantes y acompañadas por el docente. A través de ejemplos prácticos y ejercicios, se abordará cómo verificar el comportamiento de las clases y sus métodos, las condiciones previas y posteriores de las operaciones, y el cumplimiento de las propiedades e invariantes de los objetos. Se busca fortalecer la capacidad de analizar y justificar formalmente la correctitud de programas orientados a objetos, relacionando los conceptos de verificación con la implementación de las funcionalidades del proyecto integrado.

    • Exposición 9 y 10. Recursividad y Verificación OO, Modularidad, Contratos e Invariantes File
    • Cierre Capitulo 5, 6 y 7 File