Using communicative acts in interaction design specifications for automated synthesis of user interfaces | IEEE Conference Publication | IEEE Xplore