A formal method for evaluating GUI screens