Interactive Systems. Design Specification, and Verification
Subtitle: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers (Lecture Notes in Computer Science)
Contributors: Stephen W. Gilroy (Editor); Michael D. Harrison (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 6, 2006
Language: eng
Format: Paperback
Number of pages: 267
ISBN-13: 9783540341451
Subjects: Systems analysis & design; Computers; Computers - General Information; Computer Books: General; Computer Science; Computers / User Interfaces; HCI; UML; adaptive interfaces; formal methods; groupware; human computer interaction; intelligent interfaces; mobile computing; mobile devices; multimodal interfaces; semi-formal methods; ubiquitous computing; Networking - General; Programming - Software Development