default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd DSV-IS 1995: Chateau de Bonas, France
- Philippe A. Palanque, Rémi Bastide:
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. Springer 1995, ISBN 3-211-82739-0 - David A. Duce, David J. Duke:
Interaction, Cognition and Visualization. 1-20 - Marie-Claude Gaudel:
Formal Specification Techniques for Interactive Systems. 21-26 - Dan R. Olsen:
Interacting with Information. 27-34 - Fabio Paternò, M. S. Sciacchitano, Jonas Löwgren:
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications. 35-53 - David J. Duke, Michael D. Harrison:
Interaction and Task Requirements. 54-75 - Thomas G. Moher, Victor Dirda:
Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues. 76-92 - Chris W. Johnson:
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. 93-112 - Philip D. Gray, Chris W. Johnson:
Requirements for the Next Generation of User Interface Specification Languages. 113-133 - Christopher John Bramwell, Bob Fields, Michael D. Harrison:
Exploring Design Options Rationally. 134-148 - Alan J. Dix:
Moving between Contexts. 149-173 - Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
Combining Formal Techniques and Prototyping in User Interface Construction and Verification. 174-192 - Thomas Elwert, Egbert Schlungbaum:
Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. 193-208 - Matthias Rauterberg:
Four Different Measures to Quantify Three Usability Attributes: 'Feedback', 'Interface Directeness' and 'Flexibility'. 209-223 - Bernhard Bauer:
Proving the Correctness of Formal User Interface Specifications . 224-241 - Niels Ole Bernsen, S. Lu:
A Software Demonstrator of Modality Theory. 242-261 - François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Isabelle Provot, Benoît Sacré, Jean Vanderdonckt:
Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. 262-278 - Mark Green:
The Design of Narrative Virtual Environments. 279-293 - Panos Markopoulos:
On the Expression of Interaction Properties within an Interactor Model. 294-310 - James Middlemass, Adam Stork, John Long:
Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study. 311-328 - Roger Kenton Took:
A Formal Design for Mutually Composed Multiple Media in Presentations. 329-341 - Michael D. Harrison:
Reports from Working Groups: Role of Verification. 342-344 - Chris W. Johnson:
Reports from Working Groups: The Challenge of Time. 345-357 - Thomas G. Moher:
Reports from Working Groups: User and Task Modelling. 358-361 - Reports from Working Groups: Towards a Taxonomy for Interactive Graphics Systems. 362-370
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.
last updated on 2025-10-29 01:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
