A Model of User Interface Design and Its Code Generation | IEEE Conference Publication | IEEE Xplore