Design, Specification and Verification of Interactive Systems ’99

Invited Talks: Haptic Interactions in the Real and Virtual Worlds (M. Srinivasan) Matching Technology to People for Telepresence (M. Hollier).- Papers Presented: An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality (C. A. Wuthrich) Towards Hybrid Interface Specification for Virtual Environments (M. Maasink, D. J. Duke, S. Smith) Contrasting Models for Visualization (Seeing the Wood through the Trees) (C. Roast, J. Siddiqi) Towards User Interfaces for Rapid Prototyping from Algebraic Specifications (M. Cabrera, J. C. Torres, M. Gea) Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications (J. Vanderdonckt) Presentation Models by Example (P. Castells, P. Szekely) Refinement of the PAC Model for the Component-based Design and Specification of Television Based Interfaces (P. Markopoulos, P. Shrubsole, J. de Vet) Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementations (T. Urnes,T. C. Graham) Using TRIO Specifications to Generate Test Cases for an Interactive System (B. d'Ausbourg, J. Cazin) Using Automated Reasoning in the Design of an Audio-Visual Communication System (J. C. Campos, M. D. Harrison) Analysing User Deviations in Interactive Safety-Critical Applications (F. Paterno, C. Santoro, B. Fields) Dialogue Validation from Task Analysis (F. Jambon, P. Girard, Y. Boisdron) Task and Object-Oriented Development of Interactive Systems - How Many Models are Necessary? (P. Forbrig) Usability Properties in Dialog Models (M. van Welie, G. C. van der Veer, A. Eliens).- Position Papers: Cross-Contextual Reference in Human-Computer Interaction (J. Rowson, P. Johnson, G. White) Modelisation of Co-operative Work (M. Gea, F. L. Gutierrez, J. C. Torres, N. Padilla, M. Cabrera).- Working Group Discussions: Discussion Topics for the DSV-IS'99 Working Groups (D. J. Duke) Working Group 1 Report (S. P. Smith) Working Group 2 Report (G. White) Working Group 3 Report(D. A. Duce).

[1]  Bertrand David,et al.  Frameworks and Patterns for Synchronous Groupware: AMf-C Approach , 1998, EHCI.

[2]  Brad A. Myers,et al.  Creating user interfaces by demonstration , 1988 .

[3]  Charles Wiecha,et al.  ITS: a tool for rapidly developing interactive applications , 1990, TOIS.

[4]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[5]  Brad A. Myers,et al.  The Amulet V3.0 Reference Manual , 1997 .

[6]  Pablo Castells,et al.  HandsOn: Dynamic Interface Presentations by Example , 1999, HCI.

[7]  John F. Patterson,et al.  Notification servers for synchronous groupware , 1996, CSCW '96.

[8]  Ronan Boulic,et al.  Consistent Grasping Interactions with Virtual Actors Based on the Multi-sensor Hand Model , 1995 .

[9]  James D. Foley,et al.  The human factors of computer graphics interaction techniques , 1984, IEEE Computer Graphics and Applications.

[10]  Steven F. Roth,et al.  Data characterization for intelligent graphics presentation , 1990, CHI '90.

[11]  Ping Luo,et al.  Beyond interface builders: model-based interface tools , 1993, INTERCHI.

[12]  Chris W. Johnson,et al.  Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle , 1998, DSV-IS.

[13]  George Coulouris,et al.  Sharing objects over the Internet: the Mushroom approach , 1996, Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference.

[14]  Henry Lieberman,et al.  Watch what I do: programming by demonstration , 1993 .

[15]  Jean Vanderdonckt,et al.  Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide , 1995, DSV-IS.

[16]  Pablo Castells,et al.  Declarative models of presentation , 1997, IUI '97.

[17]  Brad A. Myers,et al.  User interface software tools , 1995, TCHI.

[18]  Jade Goldstein-Stewart,et al.  Creating charts by demonstration , 1994, CHI '94.

[19]  Jade Goldstein-Stewart,et al.  Interactive graphic design using automatic presentation knowledge , 1994, CHI Conference Companion.

[20]  B. Shneiderman.  Designing the User Interface (3rd Ed.) , 1998 .

[21]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[22]  Theodore Alan O'Grady,et al.  Flexible data sharing in a groupware toolkit , 1998 .

[23]  Eric Harslem,et al.  Designing the STAR User Interface , 1987, ECICS.

[24]  Bernhard Bauer,et al.  Generating User Interfaces from Formal Specifications of the Application , 1996, CADUI.

[25]  Raymond A. Ballinger.  Layout and graphic design , 1970 .

[26]  Saul Greenberg,et al.  Building real-time groupware with GroupKit, a groupware toolkit , 1996, TCHI.