3. DSV-IS 1996:
Namur,
Belgium
François Bodart, Jean Vanderdonckt (Eds.):
Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium.
Springer 1996, ISBN 3-211-82900-8 BibTeX
- Pedro A. Szekely:
Retrospective and Challenges for Model-Based Interface Development.
1-27 BibTeX
- Véronique De Keyser, Denis Javaux:
Human Factors in Aeronautics.
28-45 BibTeX
- Baudouin Le Charlier:
Abstract Interpretation and Application to Interactive System Verification.
46-72 BibTeX
- Giorgio P. Faconti, David J. Duke:
Device Models.
73-91 BibTeX
- Johnny Accot, Stéphane Chatty, Philippe A. Palanque:
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.
92-104 BibTeX
- Bruno d'Ausbourg, Guy Durrieu, Pierre Roché:
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.
105-122 BibTeX
- Gerd Szwillus, Klaus Kespohl:
Prototyping Device Interfaces with DSN/2.
123-140 BibTeX
- David A. Carr:
Toward More Understandable User Interface Specifications.
141-161 BibTeX
- Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte:
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
162-187 BibTeX
- Chris Johnson:
The Evaluation of User Interface Notations.
188-206 BibTeX
- Chris Johnson, Philip D. Gray:
The Evaluation of User Interface Notations.
207-228 BibTeX
- Andrew M. Dearden, Michael D. Harrison:
Risk Analysis, Impact and Interaction Modelling.
229-247 BibTeX
- Demosthenes Akoumianakis, Anthony Savidis, Constantine Stephanidis:
Design Assistance for User-Adapted Interaction.
248-271 BibTeX
- Juan Carlos Torres, Miguel Gea, Francisco Luis Gutiérrez Vela, Miguel Cabrera, M. Rodriguez:
GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.
272-291 BibTeX
- J. K. Hyde, David J. Duke:
Fusion Engines and Melting Pots.
292-311 BibTeX
- Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque:
Monolingual, Articulated Modeling of Users, Devices, and Interfaces.
312-329 BibTeX
- Nicholas A. Merriam, Michael D. Harrison:
Evaluating the Interfaces of Three Theorem Proving Assistants.
330-346 BibTeX
- Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
Validating Properties of Component-based Graphical User Interfaces.
347-365 BibTeX
- Steve Reeves:
Specifying and Reasoning About CSCW.
366-391 BibTeX
Copyright © Sat May 16 23:07:36 2009
by Michael Ley (ley@uni-trier.de)