DSV-IS'95 - Table of contents
The list below provides only pointers to related work, when any, not to papers appearing in the
proceedings.
Part I. Invited Talks
- Interaction, Cognition and Visualization
D.A. Duce, D.J. Duke
- Formal Specification Techniques for Interactive Systems
M.-C. Gaudel
- Interacting with Information
D.R. Olsen Jr.
Part II. User-Side Modeling and Co-Modeling
- A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal
Specifications
F. Paternó, M.S. Sciacchitano, J. Löwgren
- Interaction and Task Requirements
D.J. Duke, M.D. Harrison
- Revising Mental Models to Accomodate Expectation Failures in Human-Computer
Dialogues
T.G. Moher, V. Dirda
- The Application of Petri Nets to Represent and Reason about Human Factors Problems
during Accident Analyses
Ch. Johnson
Part III. Requirements for Formal Specification
- Requirements for the Next Generation of User Interface Specification Languages
P.D. Gray, Ch. Johnson
- Exploring Design Options Rationally
C. Bramwell, B. Fields, M.D.
Harrison
- Moving between Contexts
A. Dix
Part IV. Prototyping, Generation and Evaluation
- Combining Formal Techniques and Prototyping in User Interface Construction and
Verification
P. Bumbulis, P.S.C. Alencar, D.D. Cowan, C.J.P.
Lucena
- Modelling and Generation of Graphical User Interfaces in the TADEUS Approach
T. Elwert, E. Schlungbaum
- Four Different Measures to Quantify Three Usabiliy Attributes: Feedback, Interface
Directness and Flexibility
M. Rauterberg
Part V. Design and Verification
- Proving the Correctness of Formal User Interface Specifications
B. Bauer
- A Software Demonstrator of Modality Theory
N.O. Bernsen, S. Lu
- Towards a Systematic Building of Software Architecture: The TRIDENT Methodological
Guide
F. Bodart, A.-M. Hennebert, J.-M. Leheureux, I. Provot, B. Sacré, J. Vanderdonckt
- The Design of Narrative Virtual Environments
M. Green
- On the Expression of Interaction Properties within an Interactor Model
P. Markopoulos
- Applying a Structured Method for Usability Engineering To Recreational Facilities
Booking User Requirements: A Successful Case Study
J. Middlemass, A. Stork, J. Long
- A Formal Design for Mutually Composed Multiple Media in Presentations
R. Took
Part VI. Reports from Working Groups
- Role of Verification
M.D. Harrison
- The Challenge of Time
Ch. Johnson
- Working Group Report: User and Task Modeling
T.G. Moher
- Towards a Taxonomy for Interactive Graphics Systems
G. Pierra
Go to : FUNDP / Computer Science Dept. / Jean Vanderdonckt / DSV-IS Series / DSV-IS'95 Home
Page
For any problem about the DSV-IS WWW service, please contact the webmaster.
Jean Vanderdonckt - First version : June 30, 1995 - Last update : September 2, 1996