Comprender y aplicar los fundamentos del proceso de resolución de problemas mediante algoritmos, siguiendo el paradigma imperativo-modular. Analizar,

1. Definición del problema: identificación de requerimientos, criterios de éxito y restricciones.

2. Diseño de la solución y modularidad: división en módulos, interfaces y contratos.
3. Implementación y verificación: ejecución, pruebas básicas y verificación de resultados.

• Actividad 1 - Sesión de briefing del problema: en equipo, se define el problema, se identifican entradas, salidas y criterios de verificación; se discuten restricciones y supuestos clave. Puntos clave: claridad del problema, criterios de éxito y límites del alcance.
• Actividad 2 - Mapeo de fases: el grupo mapea el problema a las cuatro fases, identifica puntos de decisión y propone hitos de verificación para cada fase.
• Actividad 3 - Diseño de solución preliminar: se propone una solución modular inicial con una lista de módulos y contratos de entrada/salida por módulo.
• Actividad 4 - Revisión por pares: revisión de la definición y de los contratos entre módulos por parte de otro equipo, con comentarios y mejoras.

La evaluación se centra en la comprensión de las fases y la capacidad de vincularlas al diseño modular. Criterios:

• Identificación correcta de las fases y su papel en el paradigma imperativo-modular (40%).
• Precisar contratos de módulo y definir interfaces entre componentes (30%).
• Calidad del mapeo de fases y capacidad de justificar decisiones de diseño (30%).

3 semanas

1. Descomposición modular y cohesión entre módulos. Descripción de procedimientos y funciones y su correspondencia con contratos.
2. Contratos de entrada y salida: especificación de precondiciones, postcondiciones e invariantes.
3. Diseño de algoritmos simples para problemas prácticos con módulos bien definidos.

• Taller de descomposición: dividir un problema práctico (por ejemplo, calcular una factura con impuestos) en módulos con contratos claros y discutir la responsabilizad de cada módulo.
• Especificación de contratos: redactar contratos de entrada/salida para cada módulo y validar consistencia entre módulos.
• Diseño de algoritmo modular: proponer un algoritmo modular para un caso simple y justificar las particiones y responsabilidades.
• Revisión de interfaces: revisión entre equipos para asegurar que las interfaces son claras y completas.

Evaluación enfocada en la claridad de la descomposición y la calidad de los contratos. Criterios:

• Descomposición modular correcta y coherente (35%).
• Contratos de módulos completos y consistentes (35%).
• Justificación de diseño y claridad de interfaces (30%).

3 semanas

1. Notación estructurada y pseudocódigo para soluciones modulares.
2. Responsabilidad de módulos y cohesión en el diseño.
3. Ejemplos de implementación de módulos simples en lenguaje imperativo.

• Actividad 1 - Conversión de diseño a pseudocódigo: convertir un diseño modular en pseudocódigo claro y estructurado, con contratos explícitos.
• Actividad 2 - Implementación de módulos en lenguaje imperativo: codificar al menos dos módulos con responsabilidad definida y pruebas básicas de cada módulo.
• Actividad 3 - Revisión de código modular: revisión entre pares para verificar que cada módulo respeta su contrato y mantiene cohesión.
• Actividad 4 - Refactorización: mejorar nombres, contratos y comentarios para aumentar la legibilidad del código.

La evaluación se centra en la calidad de la implementación modular y la fidelidad a los contratos. Criterios:

• Corrección funcional y adherencia a contratos (40%).
• Claridad de pseudocódigo o código y legibilidad (30%).
• Coherencia entre diseño y código (30%).

3 semanas

1. Secuencias, decisiones y bucles: fundamentos de control de flujo en código imperativo.
2. Refactorización para mejorar legibilidad sin perder modularidad.
3. Interfaz y flujo entre módulos durante la ejecución de control de flujo.

• Actividad 1 - Flujo de control modular: diseñar un flujo de control para un problema con múltiples módulos, identificando dónde se aplican secuencias, decisiones y bucles.
• Actividad 2 - Implementación con estructuras de control: codificar un problema simple utilizando módulos y estructuras de control claras.
• Actividad 3 - Lectura de código: analizar código modular existente para evaluar legibilidad y modularidad, proponiendo mejoras.
• Actividad 4 - Refactorización guiada: mejorar estructuras de control para reducir dependencias entre módulos y mejorar claridad.

La evaluación valora la capacidad de mantener modularidad durante el control de flujo. Criterios:

• Correcta aplicación de secuencias, decisiones y bucles dentro de módulos (35%).
• Preservación de cohesión y acoplamiento bajo cambios de control (35%).
• Calidad de la legibilidad y documentación (30%).

3 semanas

1. Tipos de pruebas: unitarias, de integración y casos límite.
2. Estrategias de depuración y revisión de código.
3. Registro de resultados y verificación de criterios de solución.

• Actividad 1 - Plan de pruebas: diseñar un plan de pruebas para módulos individuales, con casos normales y extremos.
• Actividad 2 - Ejecución de pruebas y registro: ejecutar pruebas y registrar resultados, identificar fallos y clasificar su tipo.
• Actividad 3 - Depuración por módulos: localizar y corregir fallos en módulos aislados y validar correcciones.
• Actividad 4 - Revisión de casos límite: analizar casos límite y proponer mejoras en la implementación para manejar bordes de entrada.

La evaluación se centra en la capacidad de detectar y corregir errores y en la calidad de la verificación. Criterios:

• Ejecución satisfactoria de pruebas planificadas (40%).
• Identificación adecuada de errores y soluciones correctivas (35%).
• Documentación de pruebas y resultados (25%).

3 semanas

1. Documentación técnica: componentes y artefactos de la solución.
2. Interfaces entre módulos y contratos formales de verificación.
3. Prácticas de documentación que favorecen la reutilización y el mantenimiento.

• Actividad 1 - Especificación de interfaces: redactar entradas, salidas y contratos para cada módulo de un sistema sencillo.
• Actividad 2 - Criterios de verificación: definir criterios de verificación para cada módulo y para la solución completa.
• Actividad 3 - Documentación de selección de algoritmos: justificar las decisiones de diseño y el razonamiento detrás de la modularidad.
• Actividad 4 - Revisión de documentación: revisar la documentación de un compañero y proponer mejoras.

La evaluación valora la claridad y exhaustividad de la documentación, así como la coherencia entre contratos, interfaces y criterios de verificación. Criterios:

• Compleción y precisión de entradas/salidas y premisas (40%).
• Calidad de las interfaces entre módulos y criterios de verificación (35%).
• Claridad y utilidad de la documentación para mantenimiento (25%).

3 semanas

1. Trabajo en equipo en ingeniería de sistemas: roles, comunicaciones y herramientas.
2. Buenas prácticas de desarrollo modular y reutilización de código.
3. Gestión de proyectos y revisión por pares (peer review).

• Actividad 1 - Organización de equipo: definir roles, responsabilidades y plan de trabajo para un ejercicio de codificación modular en equipo.
• Actividad 2 - Reutilización de código: identificar partes reutilizables en un conjunto de módulos y crear una biblioteca mínima interna.
• Actividad 3 - Revisión por pares: realizar revisiones estructuradas de código y documentación entre equipos, con comentarios constructivos.
• Actividad 4 - Gestión de versiones: usar un sistema de control de versiones para coordinar cambios y solucionar conflictos.

La evaluación considera la eficacia del trabajo en equipo y la adopción de prácticas de desarrollo modular. Criterios:

• Coordinación, comunicación y cumplimiento de roles (40%).
• Calidad de la reutilización de código y modularidad aplicada (30%).
• Contribución individual y revisión por pares (30%).

3 semanas