0 Item

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

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

Write A Review

Paperback

At a Glance

Paperback
340 Pages

Dimensions(cm)
24.4 x 17.0 x 1.8

Paperback

$111.38

or 4 interest-free payments of $27.84 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Graphical & Digital Media Applications Computer Science Systems Analysis & Design Operating Systems Human-Computer Interaction User Interface Design & Usability Digital Lifestyle & Online World: Consumer & User Guides Internet Guides & Online Services

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

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Operating Systems

Windows 11 For Seniors For Dummies, 2nd Edition

This is Service Design Doing

Applying Service Design Thinking in the Real World

Windows 11 For Dummies, 2nd Edition

Windows 11 For Dummies

Laws of UX

2nd Edition - Using Psychology to Design Better Products & Services

Don't Make Me Think, Revisited

A Common Sense Approach to Web Usability

Product Leadership

How Top Product Managers Launch Awesome Products and Build Successful Teams

Mapping Experiences

A Complete Guide to Creating Value through Journeys, Blueprints, and Diagrams 2nd Edition

UX Strategy

How to Devise Innovative Digital Products that People Want 2nd Edition

Linux Pocket Guide

4th Edition - Essential Commands

UNIX and Linux System Administration Handbook

5th Edition

Git : Pocket Guide

A Working Introduction

Theory of Fun for Game Design

iPad & iPad Pro for Dummies

2024-2025 Edition

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Articulating Design Decisions

Communicate with Stakeholders, Keep Your Sanity, and Deliver the Best User Experience

Fluent React

Build Fast, Performant, and Intuitive Web Applications

iPhone for Seniors in Easy Steps: 8th Edition

For all models with iOS 15

Product Roadmaps Relaunched

How to Set Direction while Embracing Uncertainty

Escaping the Build Trap

How Effective Product Management Creates Real Value

Bash Pocket Reference

Help for Power Users and Sys Admins : 2nd Edition

Command-Line Rust

A Project-Based Primer for Writing Rust CLIs

Practical C Programming 3e

Why Does 2+2 = 5986?

Understanding the Linux Kernel

O'Reilly Ser.

Understanding Linux Network Internals

O'Reilly Ser.

This product is categorised by