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

Part of: DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems

Conference Details

Year: 2002
Period: June 12-14
Location: Rostock, Germany
Publisher: Springer
ISBN: 3-540-00266-9

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.

Other Years in Series

Other proceedings in the DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems series

1994 1995 1996 1997 1998 1998 1999 2000 2001 2003 2005 2006 2008

Articles

Publications included in this conference proceedings

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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://link.springer.de/link/service/series/0558/bibs/2545/25450089.htm
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,352+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
7
days
4
hrs
14
mins
30
secs

Free forever. No spam. Unsubscribe anytime.