Stop the war!

Остановите войну!

for scientists:

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ò

a service of

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.