7. DSV-IS 2000: Limerick, Ireland

@proceedings{DBLP:conf/dsvis/2000,
  editor    = {Philippe A. Palanque and
               Fabio Patern{\`o}},
  title     = {Interactive Systems: Design, Specification, and Verification,
               7th International Workshop DSV-IS, Limerick, Ireland, June 5-6,
               2000, Proceedings},
  booktitle = {DSV-IS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1946},
  year      = {2000},
  isbn      = {3-540-41663-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Designing Interactive Distributed Systems

• Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes:
  Specifying Temporal Behaviour in Software Architectures for Groupware Systems. 1-17
  Electronic Edition (Springer LINK) BibTeX
• Chris Johnson:
  Questioning the Foundations of Utility for Quality of Service in Interface Development. 19-33
  Electronic Edition (Springer LINK) BibTeX

Designing User Interfaces

• Frédéric Vernier, Laurence Nigay:
  A Framework for the Combination and Characterization of Output Modalities. 35-50
  Electronic Edition (Springer LINK) BibTeX
• Maria Kutar, Carol Britton, Chrystopher L. Nehaniv:
  Specifying Multiple Time Granularities in Interactive Systems. 51-63
  Electronic Edition (Springer LINK) BibTeX
• James S. Willans, Michael D. Harrison:
  Verifying the Behaviour of Virtual Environment World Objects. 65-77
  Electronic Edition (Springer LINK) BibTeX

Tools for User Interfaces

• Joanna Lumsden, Philip D. Gray:
  SUIT - Context Sensitive Evaluation of User Interface Development Tools. 79-95
  Electronic Edition (Springer LINK) BibTeX
• David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
  Structuring Interactive Systems Specifications for Executability and Prototypability. 97-119
  Electronic Edition (Springer LINK) BibTeX
• Murray Crease, Philip D. Gray, Stephen A. Brewster:
  A Toolkit of Mechanism and Context Independent Widgets. 121-133
  Electronic Edition (Springer LINK) BibTeX

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
  Electronic Edition (Springer LINK) BibTeX
• Anke Ditmar:
  More Precise Descriptions of Temporal Relations within Task Models. 151-168
  Electronic Edition (Springer LINK) BibTeX
• Karsten Loer, Michael D. Harrison:
  Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? 169-190
  Electronic Edition (Springer LINK) BibTeX

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
  Electronic Edition (Springer LINK) BibTeX
• Paulo Pinheiro da Silva:
  User Interface Declarative Models and Development Environments: A Survey. 207-226
  Electronic Edition (Springer LINK) BibTeX
• Quentin Limbourg, Jean Vanderdonckt, Nathalie Souchon:
  The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results. 227-246
  Electronic Edition (Springer LINK) BibTeX