


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














