Interactive Systems. Design, Specification, and Verification

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were car...

Full description

Saved in:
Bibliographic Details
Other Authors: Graham, T. C. Nicholas
Format: Book
Language:English
Published: Springer 2017
Subjects:
004
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/24645
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
id oai:112.137.131.14:VNU_123-24645
record_format dspace
spelling oai:112.137.131.14:VNU_123-246452020-06-16T08:56:02Z Interactive Systems. Design, Specification, and Verification Graham, T. C. Nicholas Palanque, Philippe Computer Science 004 This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification. 2017-04-05T07:59:24Z 2017-04-05T07:59:24Z 2008 Book 978-3-540-70568-0 0302-9743 http://repository.vnu.edu.vn/handle/VNU_123/24645 en © Springer-Verlag Berlin Heidelberg 2008 319 p. application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Computer Science
004
spellingShingle Computer Science
004
Interactive Systems. Design, Specification, and Verification
description This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.
author2 Graham, T. C. Nicholas
author_facet Graham, T. C. Nicholas
format Book
title Interactive Systems. Design, Specification, and Verification
title_short Interactive Systems. Design, Specification, and Verification
title_full Interactive Systems. Design, Specification, and Verification
title_fullStr Interactive Systems. Design, Specification, and Verification
title_full_unstemmed Interactive Systems. Design, Specification, and Verification
title_sort interactive systems. design, specification, and verification
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/24645
_version_ 1680963502269792256