Design, Specification and Verification of Interactive Systems ’96

Invited Talks.- Retrospective and Challenges for Model-Based Interface Development.- Human Factors in Aeronautics.- Abstract Interpretation and Application to Interactive System Verification.- Moving Towards Implementation.- Device Models.- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.- Prototyping Device Interfaces with DSN/2.- Evaluating Formal Languages.- Toward More Understandable User Interface Specifications.- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.- The Evaluation of User Interface Notations.- Analysing Errors.- Supporting Error-Driven Design.- Risk Analysis, Impact and Interaction Modelling.- Design Assistance for User-Adapted Interaction.- Design, Specification and Verification.- GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.- Fusion Engines and Melting Pots.- Monolingual, Articulated Modeling of Users, Devices, and Interfaces.- Evaluating the Interfaces of Three Theorem Proving Assistants.- Validating Properties of Component-based Graphical User Interfaces.- Specifying and Reasoning About CSCW.- Reports from Working Groups.- The Namur Principles: Criteria for the Evaluation of User Interface Notations.- The Role of Formalisms.

[1]  Dan R. Olsen,et al.  Creating interactive techniques by symbolically solving geometric constraints , 1990, UIST '90.

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

[3]  Ann Blandford,et al.  Four easy pieces for assessing the usability of multimodal interaction: the CARE properties , 1995, INTERACT.

[4]  Philippe A. Palanque,et al.  Verification of an interactive software by analysis of its formal specification , 1995, INTERACT.

[5]  Brad A. Myers.  INCENSE: A system for displaying data structures , 1983, SIGGRAPH.

[6]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[7]  Dan Gookin.  The complete SuperCard handbook , 1989 .

[8]  Philippe A. Palanque,et al.  Whizz'Ed: a visual environment for building highly interactive software , 1995, INTERACT.

[9]  Andrew F. Monk,et al.  Dialogue modelling of graphical user interfaces with a production system , 1995, Behav. Inf. Technol..

[10]  Sougata Mukherjea,et al.  Toward visual debugging: integrating algorithm animation capabilities within a source-level debugger , 1994, TCHI.

[11]  Brad A. Myers,et al.  Model-based user interfaces: what are they and why should we care? , 1994, UIST '94.

[12]  David A. Carr,et al.  Specification of interface interaction objects , 1994, CHI '94.

[13]  Michael Smyth,et al.  Reflections on the design of interface metaphors , 1995, INTERACT.

[14]  Roger B. Dannenberg,et al.  Garnet: comprehensive support for graphical, highly interactive user interfaces , 1990, Computer.

[15]  Dan R. Olsen,et al.  Algorithms for Automatic Dialogue Analysis Using Propositional Production Systems , 1995, Hum. Comput. Interact..

[16]  Thomas R. G. Green,et al.  The Structure of Command Languages: An Experiment on Task-Action Grammar , 1989, Int. J. Man Mach. Stud..

[17]  Ben Shneiderman,et al.  Multiparty Grammars and Related Features for Defining Interactive Systems , 1982, IEEE Transactions on Systems, Man, and Cybernetics.

[18]  Philippe A. Palanque,et al.  Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism , 1994, DSV-IS.

[19]  Wayne D. Gray.  VCR-as-paradigm: a study and taxonomy of errors in an interactive task , 1995, INTERACT.

[20]  Gerd Szwillus,et al.  Constraint-based definition of application-specific graphics , 1995, INTERACT.

[21]  Dan R. Olsen,et al.  Propositional production systems for dialog description , 1990, CHI '90.

[22]  Gurminder Singh,et al.  Druid: a system for demonstrational rapid user interface development , 1990, UIST '90.

[23]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[24]  Christophe Sibertin-Blanc.  A Client-Server Protocol for the Composition of Petri Nets , 1993, Application and Theory of Petri Nets.

[25]  Steven P. Reiss,et al.  PECAN: Program Development Systems that Support Multiple Views , 1984, IEEE Transactions on Software Engineering.

[26]  Andreas Girgensohn,et al.  Prototyping considered dangerous , 1995, INTERACT.

[27]  John T. Stasko.  Tango: A Framework and System for Algorithm Animation , 1990, Computer.

[28]  Ellis Horowitz,et al.  A system for specifying and rapidly prototyping user interfaces , 1991 .

[29]  Anthony I. Wasserman,et al.  Extending State Transition Diagrams for the Specification of Human–Computer Interaction , 1985, IEEE Transactions on Software Engineering.