Se agrega campo de output al formato de especificación funcional, y se agregan pasos y excepciones a la especificación funcional para el programa 1