• Objetivo del Primer Parcial

    Evaluar la capacidad del estudiante para comprender y aplicar los fundamentos del Desarrollo Formal de Software, identificando errores, defectos y fallos; diferenciando verificación, validación y pruebas; y formalizando reglas de negocio mediante lógica proposicional, predicados, variables y cuantificadores.

    • Orientación para el Primer Parcial

      Fecha: 29 de septiembre de 2026
      Modalidad: Evaluación individual en Moodle
      Tiempo: 1 hora 30 minutos

      🎯 ¿Qué debo estudiar?

      El examen evaluará los temas desarrollados en clase correspondientes a:

      1. Fundamentos del Desarrollo Formal de Software
      • Concepto de Desarrollo Formal de Software.
      • Diferencia entre Desarrollo de software y desarrollo formal
      • Importancia de la Correctitud del software.
      • Diferencias entre Error, defecto y fallo.
      • Diferencias entre verificación, validación y pruebas.
      • Relación entre especificación, construcción, verificación y pruebas.
      2. Calidad y construcción del software
      • Concepto de Calidad de software
      • Calidad funcional y calidad técnica.
      • Importancia de Legibilidad y mantenibilidad.
      • Importancia de Revisión del código.
      • Importancia de Casos normales, límite e inválidos.
      • Identificación de situaciones que pueden generar errores, defectos y fallos.
      3. Lógica proposicional
      • Definición y como identificar Proposición.
      • Proposiciones simples y compuestas.
      • Conectores lógicos:
        • ¬ Negación
        • ∧ Conjunción
        • ∨ Disyunción
      • Interpretación de expresiones lógicas.
      • Traducción de reglas del lenguaje natural a expresiones lógicas.
      • Tablas de verdad trabajadas en clase.
      4. Predicados y variables
      • Diferencias entre Dominio, Variables y Predicados.
      • Identificación de características y condiciones de una regla.
      • Diferencia entre dominio, variable y predicado.
      5. Cuantificadores
      • Cuantificador universal ∀.
      • Cuantificador existencial ∃.
      • Identificación de cuándo una regla requiere cuantificador.
      • Reglas que pueden formalizarse sin cuantificador.
      6. Formalización de reglas de negocio

      Practicar el proceso:

      Regla → Dominio → Variable → Predicados → Cuantificador (si corresponde) → Formalización → Interpretación

    • 📝 ¿Cómo será el examen?

      El examen estará compuesto por diferentes tipos de preguntas:

      • Selección múltiple con única respuesta.
      • Selección múltiple con varias respuestas, cuando corresponda.
      • Verdadero o falso.
      • Ejercicios de aplicación y análisis.
      • Ejercicios de formalización, en los que deberán pasar una regla del lenguaje natural a una expresión lógica.
      • Interpretación de expresiones lógicas.
      • Identificación de dominio, variable, predicados y cuantificadores.
      • Ejercicios relacionados con error, defecto, fallo, verificación, validación y pruebas.
       
      ⚠️ Importante

      El examen no estará orientado únicamente a memorizar definiciones. Algunas preguntas presentarán situaciones diferentes a los ejemplos vistos en clase, pero evaluarán los mismos conceptos y procedimientos trabajados.

      Por esta razón, se recomienda practicar los ejercicios realizados en clase y comprender el procedimiento para resolverlos.

      📌 Material de estudio

      Para prepararse, revisen:

      • Presentaciones de las clases.
      • Apuntes realizados durante las clases.
      • Actividades desarrolladas.
      • Ejemplos y ejercicios trabajados.
      • Conceptos y ejercicios relacionados con sus proyectos.

      Recomendación: no memoricen únicamente los ejemplos. Practiquen cómo identificar qué concepto o procedimiento deben aplicar ante una situación nueva.