Formal description and evaluation of user-adapted interfaces