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

Pedro A. Szekely: Retrospective and Challenges for Model-Based Interface Development. 1-27
Véronique De Keyser, Denis Javaux: Human Factors in Aeronautics. 28-45
Baudouin Le Charlier: Abstract Interpretation and Application to Interactive System Verification. 46-72
Giorgio P. Faconti, David J. Duke: Device Models. 73-91
Johnny Accot, Stéphane Chatty, Philippe A. Palanque: A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. 92-104
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
Gerd Szwillus, Klaus Kespohl: Prototyping Device Interfaces with DSN/2. 123-140
David A. Carr: Toward More Understandable User Interface Specifications. 141-161
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
Chris Johnson: The Evaluation of User Interface Notations. 188-206
Chris Johnson, Philip D. Gray: The Evaluation of User Interface Notations. 207-228
Andrew M. Dearden, Michael D. Harrison: Risk Analysis, Impact and Interaction Modelling. 229-247
Demosthenes Akoumianakis, Anthony Savidis, Constantine Stephanidis: Design Assistance for User-Adapted Interaction. 248-271
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
J. K. Hyde, David J. Duke: Fusion Engines and Melting Pots. 292-311
Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque: Monolingual, Articulated Modeling of Users, Devices, and Interfaces. 312-329
Nicholas A. Merriam, Michael D. Harrison: Evaluating the Interfaces of Three Theorem Proving Assistants. 330-346
Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: Validating Properties of Component-based Graphical User Interfaces. 347-365
Steve Reeves: Specifying and Reasoning About CSCW. 366-391