Ejercicios en Análisis y especificación de sistemas software