Ejercicios en Planificación, Verificación y Validación del Software