Design, Specification and Verification of Interactive Systems ’97

Do interactive systems need specifications?.- PAC-ing the architecture of your user interface.- DMVIS: Design, modelling and validation of interactive systems.- Users as rational interacting agents: Formalising assumptions about cognition and interaction.- Establishing a link between usability and utility: Validation of task-based dialogue using a semantic prototype.- Evaluating narrative in multimedia.- Interactors and Haggis: Executable specifications for interactive systems.- Formally verifying interactive systems: A review.- Investigating the behaviour of PREMO synchronizable objects.- Formal transducers: Models of devices and building bricks for the design of highly interactive systems.- From text to Petri nets: The difficulties of describing accident scenarios formally.- Unifying toolkit programming layers: A multi-purpose toolkit integration module.- Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels.- Formal aspects of task based design.- Reusable structures in task models.- The interaction specification workspace: Specifying and designing the interaction issues of virtual reality training environments from within.- The notion of trajectory in graphical user interfaces.- A representational approach to the specification of presentations.- On biasing behaviour to the optimal.- Modelling in Action. Reports from the DSVIS'97 working groups.

[1]  Gregory D. Abowd,et al.  A formal technique for automated dialogue development , 1995, Symposium on Designing Interactive Systems.

[2]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[3]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[4]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[5]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[6]  Michael D. Harrison,et al.  Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[7]  Andrew F. Monk,et al.  Discount Dialogue Modelling with Action Simulator , 1994, BCS HCI.

[8]  Rocco De Nicola,et al.  An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1991, CAV.

[9]  Francisca Losavio,et al.  A Method for User-Interface Development , 1997, J. Object Oriented Program..

[10]  Willem R. van Biljon.  Extending Petri Nets for Specifying Man-Machine Dialogues , 1988, Int. J. Man Mach. Stud..

[11]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[12]  Fabio Paternò.  A method for formal specification and verification of interactive systems , 1995 .

[13]  Aude Dufresne,et al.  Touching and hearing GUI's: design issues for the PC-Access system , 1996, Assets '96.

[14]  Natarajan Shankar,et al.  An Integration of Model Checking with Automated Proof Checking , 1995, CAV.

[15]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[16]  Harold W. Thimbleby,et al.  User interface design , 1990, ACM Press Frontier Series.

[17]  Mark Green,et al.  A survey of three dialogue models , 1986, TOGS.

[18]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[19]  Kurt Lautenbach.  Linear Algebraic Techniques for Place/Transition Nets , 1986, Advances in Petri Nets.

[20]  David A. Duce,et al.  Systematic development of the human interface , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[21]  Gregory D. Abowd,et al.  Modelling status and event behaviour of interactive systems , 1996, Softw. Eng. J..

[22]  Leslie Lamport,et al.  Mechanical Verification of Concurrent Systems with TLA , 1992, Larch.