Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science)

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science)
Автор
 
Год
 
Страниц
 
311
ISBN
 
3540705686
Издатель
 
Springer
Категория
 
Разное

Описание:

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.

Похожие книги

Computing Information Technology: The Human SideComputing Information Technology: The Human Side
Автор: Gordon S .R.
Год: 2003
Applications of Data Mining in Computer Security (Advances in Information Security)Applications of Data Mining in Computer Security (Advances in Information Security)
Автор: ?Daniel Barbara, Sushil Jajodia, Daniel Barbara
Год: 2004
Word Prediction for Amharic Online Handwriting RecognitionWord Prediction for Amharic Online Handwriting Recognition
Автор: Nesredien Suleiman
Год: 2010
Developing SVG-based Web ApplicationsDeveloping SVG-based Web Applications
Автор: Ellen Pearlman, Lorien House
Год: 2004