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

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

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at

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

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