Generating user interfaces from specifications produced by a reverse engineering process | IEEE Conference Publication | IEEE Xplore