Lecture Notes in Computer Science : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers - Philippe Palanque

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

By: Philippe Palanque (Editor), Fabio Paterno (Editor)

Write A Review

Paperback | 30 January 2001

At a Glance

Paperback
268 Pages

Dimensions(cm)
23.5 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).

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 $89.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 Medicine Medicine in General Computer Networking & Communications Computer Hardware Network Hardware Databases Data Capture & Analysis Operating Systems Computer Science

Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Business Applications Human-Computer Interaction

Designing Interactive Distributed Systems
Specifying Temporal Behaviour in Software Architectures for Groupware Systems	p. 1
Questioning the Foundations of Utility for Quality of Service in Interface Development	p. 19
Designing User Interfaces
A Framework for the Combination and Characterization of Output Modalities	p. 35
Specifying Multiple Time Granularities in Interactive Systems	p. 51
Verifying the Behaviour of Virtual Environment World Objects	p. 65
Tools for User Interfaces
SUIT - Context Sensitive Evaluation of User Interface Development Tools.	p. 79
Structuring Interactive Systems Specifications for Executability and Prototypability	p. 97
A Toolkit of Mechanism and Context Independent Widgets	p. 121
Formal Methods for Human-Computer Interaction Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties	p. 135
More Precise Descriptions of Temporal Relations within Task Models	p. 151
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?	p. 169
Model-Based Design of Interactive Systems
Wisdom - A UML Based Architecture for Interactive Systems	p. 191
User Interface Declarative Models and Development Environments: A Survey	p. 207
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results	p. 227
Indexes
Subject Index	p. 247
Author Index	p. 251
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

The Essence of Software Engineering

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

Coding All-in-One For Dummies

2nd Edition

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

The Functional Art

An introduction to information graphics and visualization

User Story Mapping

Discover the Whote Story, Build the Right Product

Site Reliability Engineering

How Google Runs Production Systems

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Robert C. Martin

A Craftsman's Guide to Software Structure and Design

Typescript Cookbook

Real World Type-Level Programming

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

This product is categorised by