This book gathers the latest experiences of experts, research teams and leading organisations involved in computer-aided design of user interfaces for interactive applications supported by software, such as code generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical user interfaces. Audience: This volume will be of interest to software development practitioners and researchers whose work involves human--computer interaction, design of user interfaces, frameworks for computer-aided design, formal methods, multimedia systems, interactive applications, and graphical user interfaces.