This book constitutes the thoroughly refereed post-proceedings
of the 10th International Workshop on Design, Specification, and
Verification of Interactive Systems, DSV-IS 2003, held in Funchal,
Madeira Island, Portugal, in June 2003.
The 26 revised full papers and 5 revised short papers presented
together with an invited paper have passed through two rounds of
reviewing, selection, and improvement. The papers are organized in
topical sections on test and evaluation, Web and groupware, tools
and technologies, task modeling, model-based design, mobile and
multiple devices, UML, and specification languages.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!