![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
3rd DSV-IS 1996: Namur, Belgium
- François Bodart, Jean Vanderdonckt:
Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. Eurographics, 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 W. Johnson:
The Evaluation of User Interface Notations. 188-206 - Chris W. Johnson, Philip D. Gray:
Supporting Error-Driven Design. 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, María Luisa Rodríguez:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.