DSV-IS'94 - Table of contents

The list below provides only pointers to related work, when any, not to papers appearing in the proceedings.

Abstract

Part I. Invited Presentations and Discussions

1. History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation
   J.D. Foley, Noi Sukaviriya
2. Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge
   P.J. Barnard, J. May
3. Working Group Discussions : Users
   D.A. Duce
4. Working Group Discussions : Role of Formalisms
   M.D. Harrison
5. Working Group Discussions : Role of Development Environments
   Noi Sukaviriya

Part II. Modelling in Architectural Design of Interactive Systems

1. A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype
   F. Bodart, A.-M. Hennebert, I. Provot, J.-M. Leheureux, J. Vanderdonckt
2. Modeling and Analyzing Human-Computer Dialogues with Protocols
   H. de Bruin, P. Bowman, J. van den Bos
3. Bridging the Gap from Conceptual Design to Software Design
   W.D. Hurley
4. A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation
   P. Luo
5. A Tool-supported Approach to the Refinement of Interactive Systems
   F. Paternó, A. Leonardi, S. Pangoli
6. The BOSS-System: Coupling Visual Programming with Model Based Interface Design
   S. Schreiber
7. A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge
   Noi Sukaviriya, J. Muthukumarasamy, M. Frank, J.D. Foley
8. Object-Oriented Modelling and Specification for User Interface Design
   M. van Harmelen

Part III. Users, Tasks and Specification

1. Why are Analogue Graphics and Natural Language both Needed in HCI?
   N.O. Bernsen
2. Modelling Interactive Systems and Providing Task Relevant Information
   B. Fields, M.D. Harrison, P.Wright
3. The Requirements Engineering of User Freedom
   M.D. Harrison, A. Blandford, P.J. Barnard
4. A Framework for Precise, Reusable Task Abstractions
   R. Hartson, K. Mayo

Part IV. Approaches to Formal Specification of User Interfaces

1. Modelling Interaction Properties for Interactive Case Memories
   A. Dearden, M.D. Harrison
2. LADA - a logic for the Analysis of Distributed Actions
   A. Dix
3. Folding Human Factors into Rigorous Development
   D. Duke, M.D. Harrison
4. Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices
   G.P. Faconti, A. Fornari, N. Zani
5. Grammar-based Formal Specification for the Object-Oriented User Interface Development
   A. Limpouch
6. Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism
   Ph. Palanque, R. Bastide
7. User Centred System Modelling using the Template Model
   C.R. Roast, M.D. Harrison
8. Understanding Direct Manipulation Interaction Algebraically
   R. Took
9. Using an Abtract Model for the Formal Specification of Interactive Graphics Systems
   J.C. Torres, B. Clares