• 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 Archivo
    • Ejercicio en clase Archivo

    • 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 Archivo
    • Actividad en Clase - Entregable Tarea
      Apertura: martes, 6 de octubre de 2026, 07:00
      Cierre: martes, 6 de octubre de 2026, 09:00

    • 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 Archivo
    • Guía de Actividad Entregable Archivo
    • Actividad Entregable Tarea
      Apertura: jueves, 8 de octubre de 2026, 09:00
      Cierre: martes, 13 de octubre de 2026, 07:00