A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their inp

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June

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 9th International Workshop on the Design, Specification, and Verification of Interactive S

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application prog