Synthetic and analytic methods for user-computer interaction design | IEEE Conference Publication | IEEE Xplore