Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
Bodo Urban, Jean Vanderdonckt, Quentin Limbourg
Springer, Feb 12, 2003 - Computers - 269 pages
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Prom a Formal User Model to Design Rules
A Coloured Petri Net Formalisation for a UMLBased Notation
Adaptive User Interface for Mobile Devices
14 other sections not shown
Other editions - View all
Interactive Systems. Design, Specification, and Verification: 7th ...
Philippe Palanque,Fabio Paterno
No preview available - 2001
abstract action activity adaptation algorithm analysis application approach architecture ASUR Augmented Reality automatically behaviour button changes cognitive support communication goal components Computer-Aided Design concepts constraints context currency converter defined described design patterns device domain DSV-IS elements embedded systems environment error evaluation example face feature Face Mimic face tracking facial feedback Forbrig formal framework functionality human reliability Human-Computer Interaction identified implementation input instance interactive systems interactor Interface Design issues Java language layer mapping mobile agents model-based multiple notations objects output paper Pattern Language performed Petri Nets phase platform possible presented problem Proceedings requirements scenario screen landscape screen pointer Section selection semantics Soda-Pop specification task model techniques temporal THEA tion transducers Ubiquitous Computing UI description UIML UMLi Unified Modelling Language usability user model user's Vanderdonckt Vesuf visual