Generating User Interfaces from Formal Specifications of the Application

The generation of the dialogue description from an algebraic specification of the application and its restrictions to different user groups are presented. The idea and motivation for the work is that the development of the application and the UI has to go hand in hand. Moreover, the UI should be generated since the programming of UIs is a time consuming and error-prone task. A formal specification of an application, characterizing the application in an abstract way, allows the automatic analyses and the generation of specifications, describing the dynamic behaviour of the UI. The generated (dynamic) specification can be used as an input for an existing UI Generator (UIG), called BOSS, which is part of a formal UI development environment, called FUSE.
Computer-Aided Design of User Interfaces I, Proceedings of the Second International Workshop on Computer-Aided Design of User Interfaces (CADUI'1996), June 5-7, 1996, Namur, Belgium
Presses Universitaires de Namur