Interactive Systems. Design, Specification, and Verification
Subtitle: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science)
Contributors: Gavin Doherty (Editor); Ann Blandford (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 5, 2007
Language: eng
Format: Paperback
Number of pages: 269
ISBN-13: 9783540695530
Subjects: General Theory of Computing; Computers; Computer Books: General; Networking - General; Programming - Software Development; Computers / User Interfaces; HCI; UML; adaptive interfaces; association rules; formal methods; haptic interaction; human computer interaction; intelligent interfaces; mobile computing; mobile devices; Interactive & Multimedia; User Interfaces; Congresses; Interactive computer systems