عنوان

Design, specification, and verification of interactive systems '97 :

(Number (ISBN

3211830553

(Number (ISBN

9783211830550

Number

b549555

Title Proper

Design, specification, and verification of interactive systems '97 :

General Material Designation

[Book]

Other Title Information

proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 [and] Eurographics

First Statement of Responsibility

M.D. Harrison and J.C. Torres (eds.).

Place of Publication, Distribution, etc.

Wien ; New York

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

©1997.

Specific Material Designation and Extent of Item

viii, 320 pages : illustrations ; 24 cm.

Series Title

Springer computer science.

Text of Note

This book constitutes the proceedings of the Eurographics Workshop on Design, Specification, and Verification of Interactive Systems ... It was the fourth of a series reviewing the state of the art of tools ... In previous years workshops have been held near Pisa, Italy, near Toulouse, France, and in Namur, Belgium--Preface.

Text of Note

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.

Computer graphics -- Congresses.

Computer graphics.

Interactive computer systems -- Congresses.

Class number

Book number

M.D. Harrison and J.C. Torres (eds.).

J C Torres

M D Harrison

Electronic name

[Book]

Y