Análisis: Especificación de variables de entrada y de salida