default search action
1st DSV-IS 1994: Bocca di Magra, Italy
- Fabio Paternò:
Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. Springer 1994, ISBN 3-540-59480-9 - James D. Foley, Piyawadee Noi Sukaviriya:
History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation. DSV-IS 1994: 3-14 - Philip J. Barnard, Jon May:
Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge. DSV-IS 1994: 15-49 - David A. Duce:
Working Group Discussions: Users. DSV-IS 1994: 51-55 - Michael D. Harrison:
Working Group Discussions: Role of Formalisms. DSV-IS 1994: 57-60 - Piyawadee Noi Sukaviriya:
Working Group Discussions: Role of Development Environments. DSV-IS 1994: 61-73 - François Bodart, Anne-Marie Hennebert, Isabelle Provot, Jean-Marie Leheureux, Jean Vanderdonckt:
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. DSV-IS 1994: 77-94 - Hans de Bruin, Peter Bouwman, Jan van den Bos:
Modeling and Analyzing Human-Computer Dialogues with Protocols. DSV-IS 1994: 95-116 - William D. Hurley:
Bridging the Gap from Conceptual Design to Software Design. DSV-IS 1994: 117-127 - Ping Luo:
A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation. DSV-IS 1994: 129-147 - Fabio Paternò, Ales Leonardi, S. Pangoli:
A Tool-supported Approach to the Refinement of Interactive Systems. DSV-IS 1994: 149-159 - Siegfried Schreiber:
The BOSS-System: Coupling Visual Programming with Model Based Interface Design. DSV-IS 1994: 161-179 - Piyawadee Noi Sukaviriya, Jeyakumar Muthukumarasamy, Martin R. Frank, James D. Foley:
A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. DSV-IS 1994: 181-197 - Mark van Harmelen:
Object-Oriented Modelling and Specification for User Interface Design. DSV-IS 1994: 199-231 - Niels Ole Bernsen:
Why are Analogue Graphics and Natural Language both Needed in HCI? DSV-IS 1994: 235-251 - Bob Fields, Michael D. Harrison, Peter C. Wright:
Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 253-266 - Michael D. Harrison, Ann Blandford, Philip J. Barnard:
Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 267-277 - H. Rex Hartson, Kevin A. Mayo:
A Framework for Precise, Reusable Task Abstractions. DSV-IS 1994: 279-297 - Andrew M. Dearden, Michael D. Harrison:
Modelling Interaction Properties for Interactive Case Memories. DSV-IS 1994: 301-316 - Alan J. Dix:
LADA - a logic for the Analysis of Distributed Actions. DSV-IS 1994: 317-332 - David J. Duke, Michael D. Harrison:
Folding Human Factors into Rigorous Development. DSV-IS 1994: 333-347 - Giorgio P. Faconti, Angelo Fornari, Nicola Zani:
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. DSV-IS 1994: 349-367 - Ales Limpouch:
Grammar-based Formal Specification for the Object-Oriented User Interface Development. DSV-IS 1994: 369-382 - Philippe A. Palanque, Rémi Bastide:
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. DSV-IS 1994: 383-400 - Chris R. Roast, Michael D. Harrison:
User Centred System Modelling using the Template Model. DSV-IS 1994: 401-412 - Roger Kenton Took:
Understanding Direct Manipulation Interaction Algebraically. DSV-IS 1994: 413-428 - Juan Carlos Torres, Buenaventura Clares Rodríguez:
Understanding Direct Manipulation Interaction Algebraically. DSV-IS 1994: 429-444
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-07-18 00:19 CEST 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: