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 BibTeX

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