Descripción de interfaces hombre-ordenador por medio de métodos formales : aplicación de métodos para la evaluación de un interfaz simulado