• 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 Archivo
    • Actividad en Clase + Consulta Archivo
    • Consulta 1 Tarea
      Apertura: martes, 8 de septiembre de 2026, 00:00
      Cierre: martes, 15 de septiembre de 2026, 08:30

    • 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. Archivo
    • Actividad 1. Analisis de la Funcionalidad del Software Tarea
      Apertura: martes, 15 de septiembre de 2026, 07:00
      Cierre: jueves, 17 de septiembre de 2026, 09:00