default search action

combined dblp search
author search
venue search
publication search

ask others

7th DSV-IS 2000: Limerick, Ireland

> Home > Conferences and Workshops > DSV-IS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/2000
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

- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/WrightGU00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/WrightGU00
Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes:
Specifying Temporal Behaviour in Software Architectures for Groupware Systems. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/Johnson00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/Johnson00
Chris W. Johnson:
Questioning the Foundations of Utility for Quality of Service in Interface Development. 19-33

Designing User Interfaces

- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/VernierN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/VernierN00
Frédéric Vernier, Laurence Nigay:
A Framework for the Combination and Characterization of Output Modalities. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/KutarBN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/KutarBN00
Maria Kutar, Carol Britton, Chrystopher L. Nehaniv:
Specifying Multiple Time Granularities in Interactive Systems. 51-63
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/WilliansH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/WilliansH00
James S. Willans, Michael D. Harrison:
Verifying the Behaviour of Virtual Environment World Objects. 65-77

Tools for User Interfaces

- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/LumsdenG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/LumsdenG00
Joanna Lumsden, Philip D. Gray:
SUIT - Context Sensitive Evaluation of User Interface Development Tools. 79-95
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/NavarrePBS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/NavarrePBS00
David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
Structuring Interactive Systems Specifications for Executability and Prototypability. 97-119
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CreaseGB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CreaseGB00
Murray Crease, Philip D. Gray, Stephen A. Brewster:
A Toolkit of Mechanism and Context Independent Widgets. 121-133

Formal Methods for Human-Computer Interaction

- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/PaternoS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/PaternoS00
Fabio Paternò, Carmen Santoro:
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties. 135-150
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/Ditmar00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/Ditmar00
Anke Ditmar:
More Precise Descriptions of Temporal Relations within Task Models. 151-168
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/LoerH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/LoerH00
Karsten Loer, Michael D. Harrison:
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? 169-190

Model-Based Design of Interactive Systems

- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/NunesC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/NunesC00
Nuno Jardim Nunes, João Falcão e Cunha:
Wisdom - A UML Based Architecture for Interactive Systems. 191-205
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/Silva00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/Silva00
Paulo Pinheiro da Silva:
User Interface Declarative Models and Development Environments: A Survey. 207-226
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/LimbourgVS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/LimbourgVS00
Quentin Limbourg, Jean Vanderdonckt, Nathalie Souchon:
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results. 227-246

Acknowledgement: The information on this page was contributed by Fabio Paternò

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.