10. DSV-IS 2003: Funchal, Madeira Island, Portugal

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (Eds.): Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Lecture Notes in Computer Science 2844 Springer 2003, ISBN 3-540-20159-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Paper

Test and Evaluation

Web & Groupware

Tools and Technologies

Task Modeling

Model-Based Design

Mobile and Multiple Devices

UML

Specification Languages

Short Papers