+612 9045 4394
 
CHECKOUT
Design, Specification and Verification of Interactive Systems '98 : Proceedings of the Eurographics Workshop in Abingdon, U. K., June 3-5, 1998 : Springer Computer Science, - Panos Markopoulos

Design, Specification and Verification of Interactive Systems '98 : Proceedings of the Eurographics Workshop in Abingdon, U. K., June 3-5, 1998

Springer Computer Science,

By: Panos Markopoulos (Editor), Peter Johnson (Editor)

Paperback ISBN: 9783211832127
Number Of Pages: 326

Share This Book:

Paperback

$124.95
or 4 easy payments of $31.24 with Learn more
Ships in 5 to 9 business days

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever-increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques, and their role in supporting the design of interactive systems.

Interacting in Chaosp. 1
The Viability of Modelling Socially Organised Activityp. 9
Deriving Business Object Definitions from User Work Process Modelsp. 24
Inference and Information Resources: A Design Case Studyp. 41
An Ontology for Task World Modelsp. 57
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Controlp. 71
The Role of Formal Proof in Modelling Interactive Behaviourp. 87
Validating Semi-Formal Specifications of Interactors as Design Representationsp. 102
The Role of Informal Representations in Early Designp. 117
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cyclep. 134
The Role of Verification in Interactive Systems Designp. 155
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systemsp. 171
Practical Dialogue Refinementp. 191
Which Widgets? Deriving Implementations from User-Interface Specificationsp. 206
A Framework for Generating Spatial Configurations in User Interfacesp. 225
Using Model Checking for the Automatic Validation of User Interfaces Systemsp. 242
Specification and Verification of Media Constraints using UPPAALp. 261
Modelling Direct Manipulation with Referent and Statechartsp. 278
Integrating Joint Behaviour and Dialogue Descriptionp. 293
Discussion Topics for the DSV-IS'98 Working Groupsp. 309
Working Group 1 Reportp. 312
Working Group 2 Reportp. 316
Working Group 3 Reportp. 320
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783211832127
ISBN-10: 3211832122
Series: Springer Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 326
Publisher: SPRINGER VERLAG GMBH
Country of Publication: AT
Dimensions (cm): 24.41 x 16.99  x 1.8
Weight (kg): 0.54