Análisis y Especificación Formal de Funcionalidades
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)
