1. DSV-IS 1994: Bocca di Magra, Italy

Fabio Paternò (Ed.): 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. 3-14
Philip J. Barnard, Jon May: Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge. 15-49
David A. Duce: Working Group Discussions: Users. 51-55
Michael D. Harrison: Working Group Discussions: Role of Formalisms. 57-60
Piyawadee Noi Sukaviriya: Working Group Discussions: Role of Development Environments. 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. 77-94
Hans de Bruin, Peter Bouwman, Jan van den Bos: Modeling and Analyzing Human-Computer Dialogues with Protocols. 95-116
William D. Hurley: Bridging the Gap from Conceptual Design to Software Design. 117-127
Ping Luo: A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation. 129-147
Fabio Paternò, Ales Leonardi, S. Pangoli: A Tool-supported Approach to the Refinement of Interactive Systems. 149-159
Siegfried Schreiber: The BOSS-System: Coupling Visual Programming with Model Based Interface Design. 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. 181-197
Mark van Harmelen: Object-Oriented Modelling and Specification for User Interface Design. 199-231
Niels Ole Bernsen: Why are Analogue Graphics and Natural Language both Needed in HCI? 235-251
Bob Fields, Michael D. Harrison, Peter C. Wright: Modelling Interactive Systems and Providing Task Relevant Information. 253-266
Michael D. Harrison, Ann Blandford, Philip J. Barnard: Modelling Interactive Systems and Providing Task Relevant Information. 267-277
H. Rex Hartson, Kevin A. Mayo: A Framework for Precise, Reusable Task Abstractions. 279-297
Andrew M. Dearden, Michael D. Harrison: Modelling Interaction Properties for Interactive Case Memories. 301-316
Alan J. Dix: LADA - a logic for the Analysis of Distributed Actions. 317-332
David J. Duke, Michael D. Harrison: Folding Human Factors into Rigorous Development. 333-347
Giorgio P. Faconti, Angelo Fornari, Nicola Zani: Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. 349-367
Ales Limpouch: Grammar-based Formal Specification for the Object-Oriented User Interface Development. 369-382
Philippe A. Palanque, Rémi Bastide: Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. 383-400
Chris R. Roast, Michael D. Harrison: User Centred System Modelling using the Template Model. 401-412
Roger K. Took: Understanding Direct Manipulation Interaction Algebraically. 413-428
Juan Carlos Torres, Buenaventura Clares Rodríguez: Understanding Direct Manipulation Interaction Algebraically. 429-444