Design of GUIs from a programming perspective

This paper presents a design method for graphical user interfaces. The method is based on semantic specification. Based on formalized style rules and guidelines, a user interface design proposal is derived from the functionality of an application. The advantages of this method are: The automation of parts of the design process, automatic design evaluation, and automatic mapping to multiple user interface toolkits. The paper proposes a specification language for graphical user interfaces. This language will ease the transition from the functional design of an application to the user interface design by a semantically driven designer of user interfaces. The paper gives an Ada example of the use of the language.