Desarrollo Formal de Software

Objetivo

Aplicar los fundamentos de los Capítulos 1, 2 y 3 para analizar y especificar formalmente tres funcionalidades del proyecto integrado, identificando las condiciones que deben cumplir, aspectos de correctitud y calidad, y representándolas mediante proposiciones, predicados, variables, cuantificadores y expresiones lógicas.

¿Que debe entregar?

Cada grupo deberá seleccionar tres funcionalidades previamente definidas en su proyecto y realizar un primer análisis antes de iniciar su construcción.

Para cada funcionalidad deberán:

• Identificar qué significa que funcione correctamente.
• Reconocer posibles errores, defectos o fallos.
• Plantear casos normal, límite e inválido.
• Identificar una característica de calidad relevante.
• Determinar las condiciones y propiedades que debe cumplir.
• Representar las condiciones mediante proposiciones y los conectores estudiados.
• Utilizar predicados, variables y cuantificadores cuando corresponda.
• Formalizar algunas condiciones del lenguaje natural.
• Construir e interpretar una tabla de verdad para una expresión proposicional.

Entregable

Un documento en PDF que contenga el análisis y especificación de las tres funcionalidades, siguiendo las orientaciones y la rúbrica establecidas en la guía de la actividad.

Importante

En esta primera entrega NO se requiere tener el software construido ni presentar código funcional. 

Esta actividad corresponde a la etapa de análisis y especificación y será la base para las siguientes fases del proyecto: Analizar → Especificar → Construir → Verificar → Probar → Mejorar

Fecha Máxima

1 de octubre de 2026 a las 9:00am (La entrega puede realizarse antes de la fecha máxima)

Material de apoyo

Presentaciones

Actividades realizadas en la clase 

Guía de entrega análisis y especificación formal de funcionalidades (Descargar)

Formato de entrega análisis y especificación de fincionalidades (Descargar)

Rubrica

Se debe tener en cuenta la rubriga de evaluación. (Descargar)