Design, specification, and verification of interactive systems

OUTLINE OF THE THEME AND GOALS OF THE WORKSHOP There is a growing interest in the application of systematic methods to human computer interaction as user interface design and development is an area that is rapidly emerging, sometimes without well defined basic concepts and methods. This is a strong limitation as it means that sometimes designers provide solutions which only have a partial validity and which are difficult to understand and to reason about.