Design, Specification and Verification of Interactive Systems ’95

Invited Talks.- Interaction, Cognition and Visualization.- Formal Specification Techniques for Interactive Systems.- Interacting with Information.- User-Side Modeling and Co-Modeling.- A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications.- Interaction and Task Requirements.- Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues.- The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses.- Requirements for Formal Specification.- Requirements for the Next Generation of User Interface Specification Languages.- Exploring Design Options Rationally.- Moving between Contexts.- Prototyping, Generation and Evaluation.- Combining Formal Techniques and Prototyping in User Interface Construction and Verification.- Modelling and Generation of Graphical User Interfaces in the TADEUS Approach.- Four Different Measures to Quantify Three Usabiliy Attributes: 'Feedback', Interface Directness' and 'Flexibility'.- Design and Verification.- Proving the Correctness of Formal User Interface Specifications.- A Software Demonstrator of Modality Theory.- Towards a Systematic Building of Software Architecture: The TRIDENT Methodological Guide.- The Design of Narrative Virtual Environments.- On the Expression of Interaction Properties within an Interactor Model.- Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study.- A Formal Design for Mutually Composed Multiple Media in Presentations.- Reports from Working Groups.- Role of Verification.- The Challenge of Time.- Working Group Report: User and Task Modeling.- Towards a Taxonomy for Interactive Graphics Systems.

[1]  Tom Carey,et al.  ACM SIGCHI Curricula for Human-Computer Interaction , 1992 .

[2]  Kevin J. Farley.  Software testing for Windows developers , 1993 .

[3]  Michael D. Harrison,et al.  Design, Specification and Verification of Interactive Systems ’97 , 1997, Eurographics.

[4]  Brad A. Myers,et al.  Automatic, look-and-feel independent dialog creation for graphical user interfaces , 1990, CHI '90.

[5]  Michael J. C. Gordon,et al.  Why higher-order logic is a good formalism for specifying and verifying hardware , 1985 .

[6]  Nissim Francez,et al.  A Case for a Forward Predicate Transformer , 1977, Inf. Process. Lett..

[7]  Sidney L. Smith,et al.  Guidelines for Designing User Interface Software , 1986 .

[8]  Gregory D. Abowd,et al.  Giving Undo Attention , 1992, Interact. Comput..

[9]  Christian Stary.  Interaktive Systeme - Software-Entwicklung und Software-Ergonomie , 1994, Vieweg Lehrbuch Informatik.

[10]  Stephen J. Garland,et al.  Debugging Larch Shared Language Specifications , 1990, IEEE Trans. Software Eng..

[11]  Atul Prakash,et al.  Undoing actions in collaborative work , 1992, CSCW '92.

[12]  James D. Foley,et al.  A second generation user interface design environment: the model and the runtime architecture , 1993, INTERCHI.

[13]  Alexander Schill.  Cooperative office systems , 1996 .

[14]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[15]  Alan Dix.  Dynamic Pointers and Threads , 1994 .

[16]  Mahadev Satyanarayanan,et al.  Disconnected Operation in the Coda File System , 1999, Mobidata.

[17]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[18]  Jean Vanderdonckt,et al.  Design, Specification and Verification of Interactive Systems ’96 , 1996, Eurographics.

[19]  Clarence A. Ellis,et al.  Concurrency control in groupware systems , 1989, SIGMOD '89.

[20]  Michael D. Harrison,et al.  Formal methods in human-computer interaction , 1990 .

[21]  Alan J. Dix,et al.  Formal methods for interactive systems , 1991, Computers and people series.

[22]  Michael D. Harrison,et al.  From Formal Models to Formal Methods , 1994, ICSE Workshop on SE-HCI.