Abstract is missing.
- Specifying Temporal Behaviour in Software Architectures for Groupware SystemsTimothy N. Wright, T. C. Nicholas Graham, Tore Urnes. 1-17 [doi]
- Questioning the Foundations of Utility for Quality of Service in Interface DevelopmentChris Johnson. 19-33 [doi]
- A Framework for the Combination and Characterization of Output ModalitiesFrédéric Vernier, Laurence Nigay. 35-50 [doi]
- Specifying Multiple Time Granularities in Interactive SystemsMaria Kutar, Carol Britton, Chrystopher L. Nehaniv. 51-63 [doi]
- Verifying the Behaviour of Virtual Environment World ObjectsJames S. Willans, Michael D. Harrison. 65-77 [doi]
- SUIT - Context Sensitive Evaluation of User Interface Development ToolsJoanna Lumsden, Philip D. Gray. 79-95 [doi]
- Structuring Interactive Systems Specifications for Executability and PrototypabilityDavid Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy. 97-119 [doi]
- A Toolkit of Mechanism and Context Independent WidgetsMurray Crease, Philip D. Gray, Stephen A. Brewster. 121-133 [doi]
- Integrating Model Checking and HCI Tools to Help Designers Verify User Interface PropertiesFabio Paternò, Carmen Santoro. 135-150 [doi]
- Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?Karsten Loer, Michael D. Harrison. 169-190 [doi]
- Wisdom - A UML Based Architecture for Interactive SystemsNuno Jardim Nunes, João Falcão e Cunha. 191-205 [doi]
- User Interface Declarative Models and Development Environments: A SurveyPaulo Pinheiro da Silva. 207-226 [doi]
- The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary ResultsQuentin Limbourg, Jean Vanderdonckt, Nathalie Souchon. 227-246 [doi]