Thomas Elwert, Egbert Schlungbaum. Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. In Philippe A. Palanque, Rémi Bastide, editors, Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. pages 193-208, Springer, 1995.
Abstract is missing.