• Capítulo 1. Introducción al Desarrollo Formal de Software

    Comprender los fundamentos del desarrollo formal, la correctitud, la verificación, la validación y las pruebas de software.

    • Objetivo específico de la clase

      Comprender el concepto de Desarrollo Formal de Software y su relación con la correctitud del software.

       

      Temas

      Concepto de desarrollo formal de software.

      Desarrollo de software y desarrollo formal.

      Correctitud del software.

    • Clase 1. Introducción File
    • Actividad en Clase + Consulta File
    • Consulta 1 Assignment
      Opened: Tuesday, 8 September 2026, 12:00 AM
      Due: Tuesday, 15 September 2026, 8:30 AM

    • Objetivo específico de la clase

      Diferenciar los conceptos de error, defecto y fallo, y reconocer su relación con la verificación, la validación y las pruebas de software.

       

      Temas

      Error, defecto y fallo.

      Verificación y validación.

      Pruebas de software.

    • Clase 2. Error, Defecto y Fallo; Verificación y Validación; Pruebas de software. File
    • Actividad 1. Analisis de la Funcionalidad del Software Assignment
      Opened: Tuesday, 15 September 2026, 7:00 AM
      Due: Thursday, 17 September 2026, 9:00 AM