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 10th 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