Book Details


Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

Publication year: 2008

ISBN: 978-3-540-70569-7

Internet Resource: Please Login to download book

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications.

Subject: Computer Science, 3D interactions, GUI, adaptive interfaces, augmented reality, collaborative design, critical systems, design, design model, dynamic configuration, formal methods, formal specifications, human computer interaction, information visualizatio, modeling verification, User Interfaces and Human Computer Interaction, Computer Communication Networks, Software Engineering, Programming and Operating Systems, Multimedia Information Systems, Information Storage and Retrieval, Software Engineering