Interactive Systems - Design, Specification and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers - Chris J. Johnson

Instant online reading.
Don't wait for delivery!
Go digital and save!

Interactive Systems - Design, Specification and Verification

8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers

By: Chris J. Johnson (Editor)

Write A Review

Paperback | 1 November 2001

At a Glance

Paperback
236 Pages

Dimensions(cm)
23.39 x 15.6 x 1.27

Paperback

$111.38

or 4 interest-free payments of $27.84 with

Aims to ship in 7 to 10 business days

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

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 Databases Data Capture & Analysis Medicine Medicine in General Computer Hardware Computer Science Human-Computer Interaction User Interface Design & Usability Operating Systems

Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Computer Networking & Communications

Mobile Interface Design
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices	p. 1
Model-Based User Interface Design Using Markup Concepts	p. 16
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems	p. 28
Task Modelling for Context-Sensitive User Interfaces	p. 49
Supervision and Control Systems
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis	p. 69
A Tool Suite for Integrating Task and System Models through Scenarios	p. 88
Temporal and Stochastic Issues
Temporal Patterns for Complex Interaction Design	p. 114
Modelling Dynamic Group Behaviours	p. 128
Reasoning about Interactive Systems with Stochastic Models	p. 144
New Perspectives
Towards Uniformed Task Models in a Model-Based Approach	p. 164
Heuristic Evaluation of Website Attractiveness and Usability	p. 183
Affordance and Symmetry	p. 199
Author Index	p. 219
Table of Contents provided by Publisher. All Rights Reserved.

Interactive Systems - Design, Specification and Verification

8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Data Capture & Analysis

SPSS Survival Manual

7th Edition - A step by step guide to data analysis using IBM SPSS

Data Science from Scratch

First Principles with Python

Social Research Methods

4th Edition

Python for Data Analysis 3e

Data Wrangling with pandas, NumPy, and Jupyter

Data Pipelines Pocket Reference

Moving and Processing Data for Analytics

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Think Stats

Exploratory Data Analysis

Data Governance: The Definitive Guide

People, Processes, and Tools to Operationalize Data Trustworthiness

R for Data Science

Import, Tidy, Transform, Visualize, and Model Data

Cloud Native Data-Center Networking

Architecture, Protocols, and Tools

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

The Data Warehouse Toolkit 3ed

The Definitive Guide to Dimensional Modeling

Deep Learning from Scratch

Building with Python from First Principles

Data Analytics for Accounting ISE

3rd Edition

Fundamentals of Data Engineering

Plan and Build Robust Data Systems

Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow 3e

Concepts, Tools, and Techniques to Build Intelligent Systems

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Behavioral Data Analysis with R and Python

Customer-Driven Data for Real Business Results

Causal Inference in Python

Applying Causal Inference in the Tech Industry

Python Polars: The Definitive Guide

Transforming, Analyzing, and Visualizing Data with a Fast and Expressive Dataframe API

Machine Learning and Security

Protecting Systems with Data and Algorithms

Practical Statistics for Data Scientists

50+ Essential Concepts Using R and Python

Practical Machine Learning for Computer Vision

End-to-End Machine Learning for Images

Mastering Python for Bioinformatics

How to Write Flexible, Documented, Tested Python Code for Research Computing

This product is categorised by