![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
7th DSV-IS 2000: Limerick, Ireland
- Philippe A. Palanque, Fabio Paternò:
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Lecture Notes in Computer Science 1946, Springer 2000, ISBN 3-540-41663-3
Designing Interactive Distributed Systems
- Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes:
Specifying Temporal Behaviour in Software Architectures for Groupware Systems. 1-17 - Chris W. Johnson:
Questioning the Foundations of Utility for Quality of Service in Interface Development. 19-33
Designing User Interfaces
- Frédéric Vernier, Laurence Nigay:
A Framework for the Combination and Characterization of Output Modalities. 35-50 - Maria Kutar, Carol Britton, Chrystopher L. Nehaniv
:
Specifying Multiple Time Granularities in Interactive Systems. 51-63 - James S. Willans, Michael D. Harrison:
Verifying the Behaviour of Virtual Environment World Objects. 65-77
Tools for User Interfaces
- Joanna Lumsden, Philip D. Gray:
SUIT - Context Sensitive Evaluation of User Interface Development Tools. 79-95 - Murray Crease, Philip D. Gray, Stephen A. Brewster:
A Toolkit of Mechanism and Context Independent Widgets. 121-133
Formal Methods for Human-Computer Interaction
- Fabio Paternò, Carmen Santoro:
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties. 135-150 - Anke Ditmar:
More Precise Descriptions of Temporal Relations within Task Models. 151-168 - Karsten Loer, Michael D. Harrison:
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? 169-190
Model-Based Design of Interactive Systems
- Nuno Jardim Nunes
, João Falcão e Cunha:
Wisdom - A UML Based Architecture for Interactive Systems. 191-205 - Paulo Pinheiro da Silva:
User Interface Declarative Models and Development Environments: A Survey. 207-226 - Quentin Limbourg, Jean Vanderdonckt, Nathalie Souchon:
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results. 227-246
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.