Interactive Systems. Design, Specification, and Verification
Subtitle: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers (Lecture Notes in Computer Science)
Contributors: Joaquim Jorge (Editor); Nuno Jardim Nunes (Editor); Joao Falcao e Cunha (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2003
Language: eng
Format: Paperback
Number of pages: 429
ISBN-13: 9783540201595
Subjects: Systems analysis & design; Computers; Computers - General Information; Science/Mathematics; Data Processing - General; Computers / User Interfaces; HCI; UML; adaptive interfaces; groupware; human-computer interaction; intelligent interfaces; mobile devices; multimodal interfaces; semi-formal methods; Computer Science; Logic Design; Programming - Software Development; Congresses; Interactive computer systems