Interactive Systems. Design Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

By: Stephen W. Gilroy (Editor), Michael D. Harrison (Editor)

Write A Review

Paperback | 15 May 2006 | Edition Number 12

At a Glance

Paperback
286 Pages

Dimensions(cm)
23.39 x 15.6 x 1.52

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.

Shipping

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

Orders over $79.00 qualify for free shipping.

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 Networking & Communications Computer Programming & Software Development Software Engineering Computer Science Systems Analysis & Design Computer Architecture & Logic Design Operating Systems Computer Hardware Network Hardware

Databases

User experience and the idea of design in HCI	p. 1
Formalising performative interaction	p. 15
DiCoT : a methodology for applying distributed cognition to the design of teamworking systems	p. 26
Towards model checking stochastic aspects of the thinkteam user interface	p. 39
Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems	p. 51
Natural modelling of interactive applications	p. 67
Task model simulation using interaction templates	p. 78
Investigating annotation in electronic paper-prototypes	p. 90
Test of the ICARE platform fusion mechanism	p. 102
A method for the verification of haptic algorithms	p. 114
A specification language and system for the three-dimensional visualisation of knowledge bases	p. 126
A calculus for the refinement and evolution of multi-user mobile applications	p. 137
A taxonomy for migratory user interfaces	p. 149
Solving the mapping problem in user interface design by seamless integration in IdealXML	p. 161
Concept analysis as a formal method for menu design	p. 173
Supporting resource-based analysis of task information needs	p. 188
Automatic critiques of interface modes	p. 201
Quantitative measurement of quality attribute preferences using conjoint analysis	p. 213
A model-based design process for interactive virtual environments	p. 225
Mapping ConcurTaskTrees into UML 2.0	p. 237
Goal-oriented design of domain control panels	p. 249
Future challenges of model-based design	p. 261
Supporting values other than usability and performance within the design process	p. 262
Ambience and mobility	p. 264
Outdated ideas of the design process and the future of formal models, methods and notations	p. 265
Table of Contents provided by Blackwell. All Rights Reserved.

Interactive Systems. Design Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Networking & Communications

Careless People

A story of where I used to work

The E-Myth Revisited

Why Most Small Businesses Don't Work and What to Do About It

Troubleshooting PCs For Dummies

For Dummies (Computer/Tech)

User Research

Improve Product and Service Design and Enhance Your UX Research

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Essentials of Computer Networking

Theory and Applications of Error Correcting Codes

Cyberethics

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Cybersecurity All-in-One For Dummies

For Dummies

Learning Git

A Hands-On and Visual Guide to the Basics of Git

Liars and Outliers

Enabling the Trust that Society Needs to Thrive

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Keanu Reeves is Not in Love With You

The Murky World of Online Romance Fraud

From Chaos to Clarity

How Data Visualization can Save the World

Grey Area

Dark Web Data Collection and the Future of OSINT

Network Security Essentials 6ed

Applications and Standards, Global Edition

Hackers & Painters

Cloud Computing

2nd Edition - Concepts, Technology, Security, and Architecture

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Microsoft Teams For Dummies

For Dummies (Computer/Tech)

Hacking For Dummies

For Dummies (Computer/Tech)

ISC2 CISSP Certified Information Systems Security Professional Official Study Guide & Practice Tests Bundle

Sybex Study Guide

This product is categorised by