Workshop on formal specification of user interfaces

Abstract

The workshop aims to bring together researchers and practitioners to discuss issues and problems surrounding current specification techniques for user interfaces; successes and failures in specification projects; how current techniques could be improved; and areas where current research should be focusing. Among the results of the workshop include a taxonomy of current specification techniques.