Title: Computer assisted construction of graphical user interfaces from specifications