Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2545)
Conference series link(s): DSV-IS: International Workshop on Design, Specification, and Verification of Interactive Systems
Conference proceedings info: DSV-IS 2002.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
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.
Editors and Affiliations
-
Fachbereich Informatik, Universität Rostock, Rostock, Germany
Peter Forbrig
-
Faculty of Economical, Social and Political Sciences (ESPO) School of Management (IAG), Information Systems Unit (ISYS), Université catholique de Louvain (UCL), Louvain-La-Neuve, Belgium
Quentin Limbourg, Jean Vanderdonckt
-
Fraunhofer-Institut für Graphische Datenverarbeitung, Rostock, Germany
Bodo Urban
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