DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop

Publisher
Springer
Website
Year
2002
Period
June 12-14
Place
Rostock, Germany
ISBN
3-540-00266-9
Series
DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
DOI
Volume
Copyright info

Description

DSV-IS is now subsumed by the EICS conference - Engineering Interactive Computing Systems. DSV-IS provides a forum for researchers addressing the design and development of interactive systems. The workshop investigates the effective design, specification and verification of interactive systems, at all points in the software life cycle.

All years

Articles

Curzon, Paul, Blandford, Ann (2002): From a Formal User Model to Design Rules. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 1-15. http://link.springer.de/link/service/series/0558/bibs/2545/25450001.htm

Nilsson, Erik G. (2002): Combining Compound Conceptual User Interface Components with Modelling Patterns - A Promis. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 104-117. http://link.springer.de/link/service/series/0558/bibs/2545/25450104.htm

Seffah, Ahmed, Forbrig, Peter (2002): Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 118-132. http://link.springer.de/link/service/series/0558/bibs/2545/25450118.htm

Walenstein, Andrew (2002): Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 133-147. http://link.springer.de/link/service/series/0558/bibs/2545/25450133.htm

Boyko, Sergiy, Forbrig, Peter, Yashin, Anatoli (2002): User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 148-158. http://link.springer.de/link/service/series/0558/bibs/2545/25450148.htm

Molina, Pedro J., Meliá, Santiago, Pastor, Oscar (2002): User Interface Conceptual Patterns. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 159-172. http://link.springer.de/link/service/series/0558/bibs/2545/25450159.htm

Garrido, José Luis, Gea, Miguel (2002): A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 16-28. http://link.springer.de/link/service/series/0558/bibs/2545/25450016.htm

Luth, Nailja (2002): Monitoring Human Faces from Multi-view Image Sequences. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 173-184. http://link.springer.de/link/service/series/0558/bibs/2545/25450173.htm

Ahlstrom, David, Hitz, Martin, Leitner, Gerhard (2002): Improving Mouse Navigation - A Walk through the \"Hilly Screen Landscape. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 185-195. http://link.springer.de/link/service/series/0558/bibs/2545/25450185.htm

Chatting, David J., Thorne, Jeremy M. (2002): Designing User Interaction for Face Tracking Applications. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 196-207. http://link.springer.de/link/service/series/0558/bibs/2545/25450196.htm

Lacaze, Xavier, Palanque, Philippe A., Navarre, David, Bastide, Remi (2002): Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 208-222. http://link.springer.de/link/service/series/0558/bibs/2545/25450208.htm

Smith, Shamus P., Harrison, Michael D. (2002): Blending Descriptive and Numeric Analysis in Human Reliability Design. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 223-237. http://link.springer.de/link/service/series/0558/bibs/2545/25450223.htm

Dix, Alan J. (2002): Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 238-252. http://link.springer.de/link/service/series/0558/bibs/2545/25450238.htm

Heider, Thomas, Kirste, Thomas (2002): Architecture Considerations for Interoperable Multi-modal Assistant Systems. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 253-268. http://link.springer.de/link/service/series/0558/bibs/2545/25450253.htm

Mitrovic, Nikola, Mena, Eduardo (2002): Adaptive User Interface for Mobile Devices. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 29-43. http://link.springer.de/link/service/series/0558/bibs/2545/25450029.htm

Luyten, Kris, Vandervelpen, Chris, Coninx, Karin (2002): Migratable User Interface Descriptions in Component-Based Development. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 44-58. http://link.springer.de/link/service/series/0558/bibs/2545/25450044.htm

Souchon, Nathalie, Limbourg, Quentin, Vanderdonckt, Jean M. (2002): Task Modelling in Multiple Contexts of Use. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 59-73. http://link.springer.de/link/service/series/0558/bibs/2545/25450059.htm

Dubois, Emmanuel, Silva, Paulo Pinheiro da, Gray, Philip D. (2002): Notational Support for the Design of Augmented Reality Systems. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 74-88. http://link.springer.de/link/service/series/0558/bibs/2545/25450074.htm

Braubach, Lars, Pokahr, Alexander, Moldt, Daniel, Bartelt, Andreas, Lamersdorf, Winfried (2002): Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 89-103. http://link.springer.de/link/service/series/0558/bibs/2545/25450089.htm