Towards a formal specification method for graphical user interfaces using modularized graph grammars

Abstract

Well designed graphical user interfaces offer a high potential to increase the productivity of human users. The necessary condition for such a good performance is that the user interface represents the semantics of the underlying application in a clear and comprehensible way. This means, especially, that not only syntactical layout but also semantic… (More)

Topics

Cite this paper

@inproceedings{Goedicke1996TowardsAF, title={Towards a formal specification method for graphical user interfaces using modularized graph grammars}, author={Michael Goedicke and Bettina Sucrow}, year={1996} }