Modellbasierte Generierung prototypischer Bedienschnittstellen: ein Gestaltungswerkzeug zur formalen Beschreibung generischer, konsistenter Bedienschnittstellen mit XML