DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop

Publisher
Springer
Website
Year
2001
Period
June 13-15
Place
Glasgow, Scotland, UK
ISBN
3-540-42807-0
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

Luyten, Kris, Coninx, Karin (2001): An XML-Based Runtime User Interface Description Language for Mobile Computing Devices. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 1-15. http://link.springer.de/link/service/series/0558/bibs/2220/22200001.htm

Du, Min, England, David (2001): Temporal Patterns for Complex Interaction Design. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 114-127. http://link.springer.de/link/service/series/0558/bibs/2220/22200114.htm

Garrido, José Luis, Gea, Miguel (2001): Modelling Dynamic Group Behaviours. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 128-143. http://link.springer.de/link/service/series/0558/bibs/2220/22200128.htm

Doherty, Gavin, Massink, Mieke, Faconti, Giorgio P. (2001): Reasoning about Interactive Systems with Stochastic Models. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 144-163. http://link.springer.de/link/service/series/0558/bibs/2220/22200144.htm

Müller, Andreas, Forbrig, Peter, Cap, Clemens H. (2001): Model-Based User Interface Design Using Markup Concepts. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 16-27. http://link.springer.de/link/service/series/0558/bibs/2220/22200016.htm

Limbourg, Quentin, Pribeanu, Costin, Vanderdonckt, Jean M. (2001): Towards Uniformed Task Models in a Model-Based Approach. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 164-182. http://link.springer.de/link/service/series/0558/bibs/2220/22200164.htm

Sutcliffe, Alistair G. (2001): Heuristic Evaluation of Website Attractiveness and Usability. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 183-198. http://link.springer.de/link/service/series/0558/bibs/2220/22200183.htm

Thimbleby, Harold W. (2001): Affordance and Symmetry. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 199-218. http://link.springer.de/link/service/series/0558/bibs/2220/22200199.htm

Schneider, Kevin A., Cordy, James R. (2001): Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive System. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 28-48. http://link.springer.de/link/service/series/0558/bibs/2220/22200028.htm

Pribeanu, Costin, Limbourg, Quentin, Vanderdonckt, Jean M. (2001): Task Modelling for Context-Sensitive User Interfaces. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 49-68. http://link.springer.de/link/service/series/0558/bibs/2220/22200049.htm

Turnell, Maria de F. Q. V., Scaico, Alexandre, Sousa, Marckson R. F. de, Perkusich, Angelo (2001): Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 69-87. http://link.springer.de/link/service/series/0558/bibs/2220/22200069.htm

Navarre, David, Palanque, Philippe A., Paterno, Fabio, Santoro, Carmen, Bastide, Remi (2001): A Tool Suite for Integrating Task and System Models through Scenarios. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 88-113. http://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm