Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the ap

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed tha

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever in

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Syst

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive S