• Capítulo 4. Especificación Basada en Contratos

    Comprender y aplicar los fundamentos de la especificación basada en contratos para definir condiciones de entrada, condiciones de salida y propiedades que permitan describir y verificar el comportamiento esperado de las funcionalidades de software.

    • Objetivo específico de la clase

      Comprender el concepto de contrato de software y diferenciar las precondiciones y postcondiciones como condiciones que permiten especificar el comportamiento esperado de una funcionalidad. 

      Temas

      Contratos del Software:

      Concepto de contrato

      Precondiciones

      Postcondiciones

      Relación entre entrada, ejecución y resultado

      Especificación de condición para una funcionalidad

    • Clase 1-C2. Precondiciones, postcondiciones, contratos File
    • Ejercicio en clase File

    • Objetivo específico de la clase

      Aplicar aserciones e invariantes para expresar y comprobar condiciones que deben mantenerse durante la ejecución de un programa. 

      Temas

      Concepto de aserción

      Invariantes

      Postcondiciones

      Condiicones antes, durante y despues de la ejecución

      Relación entre contratos, aserciones e invariantes

    • Clase 2 - C2. Aserciones e Invariantes File
    • Actividad en Clase - Entregable Assignment
      Opened: Tuesday, 6 October 2026, 7:00 AM
      Due: Tuesday, 6 October 2026, 9:00 AM

    • Objetivo específico de la clase

      Aplicar la construcción en código de una funcionalidad a partir de sus precondiciones y postcondiciones, incorporando validaciones y comprobando su comportamiento mediante casos de ejecución. 

      Temas

      Construcción en código a partir de una especificación 

      Aplicación de PRE y POST

      Validaciones y comprobaciones

      Caso normal y caso no válido

      Resultados esperados vs resultados observados

      Evidencias de ejecución

      Corre ccion de diferencias

    • Clase 3-C2. Construcción en Código y Aplicación del Contrato File
    • Guía de Actividad Entregable File
    • Actividad Entregable Assignment
      Opened: Thursday, 8 October 2026, 9:00 AM
      Due: Tuesday, 13 October 2026, 7:00 AM