Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2545)
Included in the following conference series:
Conference proceedings info: DSV-IS 2002.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (19 papers)
Other volumes
-
Interactive Systems:Design, Specification, and Verification
Editors and Affiliations
Bibliographic Information
Book Title: Interactive Systems: Design, Specification, and Verification
Book Subtitle: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
Editors: Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-36235-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2002
Softcover ISBN: 978-3-540-00266-6Published: 19 December 2002
eBook ISBN: 978-3-540-36235-7Published: 01 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 274
Topics: User Interfaces and Human Computer Interaction, Computer Science, general, Software Engineering, Logics and Meanings of Programs, Information Storage and Retrieval