Interactive Systems. Design, Specification, and Verification

Name: Interactive Systems. Design, Specification, and Verification
SKU: 2575542
Price: 136.99 AUD
Availability: InStock

15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

Format:

Paperback / softback

Series:

Programming and Software Engineering

Show Hide Adult Content

$136.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

Description

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 was held at Queen’s University in Kingston, Canada, during July 16–18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen’s University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification.

Release date Australia

July 1st, 2008

Audience

Professional & Vocational

Contributors

Edited by Philippe Palanque
Edited by T C Nicholas Graham

Illustrations

IX, 314 p.

Pages

314

Series

Programming and Software Engineering

Dimensions

155x235x20

ISBN-13

9783540705680

Product ID

2575542

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Interactive Systems. Design, Specification, and Verification

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*