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
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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://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. https://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm