Interactive Systems. Design, Specification, and Verification

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers

  • Joaquim A. Jorge
  • Nuno Jardim Nunes
  • João Falcão e Cunha
Conference proceedings DSV-IS 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2844)

Table of contents

  1. Front Matter
  2. Invited Paper

  3. Test and Evaluation

    1. Daniel J. Gonçalves, Joaquim A. Jorge
      Pages 46-60
  4. Web & Groupware

  5. Tools and Technologies

    1. Antony Courtney
      Pages 107-123
    2. Baha Jabarin, T. C. Nicholas Graham
      Pages 124-138
    3. Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
      Pages 139-153
    4. João P. Pereira, Joaquim A. Jorge, Vasco A. Branco, F. Nunes Ferreira
      Pages 154-170
  6. Task Modeling

    1. Anke Dittmar, Peter Forbrig
      Pages 187-202
    2. Kris Luyten, Tim Clerckx, Karin Coninx, Jean Vanderdonckt
      Pages 203-217
    3. Pedro J. Molina, Jorge Belenguer, Óscar Pastor
      Pages 218-230
  7. Model-Based Design

    1. Silvia Berti, Fabio Paternò
      Pages 231-244
    2. Víctor López-Jaquero, Francisco Montero, José P. Molina, Antonio Fernández-Caballero, Pascual González
      Pages 245-257
    3. Chris Stary, Simone Stoiber
      Pages 258-272
  8. Mobile and Multiple Devices

    1. Nikola Mitrović, Eduardo Mena
      Pages 273-287
    2. J. C. Campos, G. J. Doherty
      Pages 288-302
    3. José Pascual Molina, Pascual González, M. Dolores Lozano, Francisco Montero, Víctor López-Jaquero
      Pages 303-315
  9. UML

    1. Bengt Göransson, Magnus Lif, Jan Gulliksen
      Pages 316-330
    2. Lia Patrício, J. Falcão e Cunha, Raymond P. Fisk, Nuno J. Nunes
      Pages 331-345
  10. Specification Languages

    1. Simon Crowle, Linda Hole
      Pages 362-376
    2. Nathalie Souchon, Jean Vanderdonckt
      Pages 377-391
    3. Christian Märtin, Bernhard Prell
      Pages 392-405
  11. Short Papers

    1. Georgios Christou, Robert J. K. Jacob
      Pages 406-409
    2. Bruno de Araújo, André Campos, Joaquim A. Jorge
      Pages 415-419
    3. Francisco Montero, Víctor López-Jaquero, José P. Molina, Pascual González
      Pages 420-423
  12. Back Matter

About these proceedings


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.


3D HCI Multimedia Performance System Unified Modeling Language (UML) adaptive interfaces human-computer interaction intelligent interfaces mobile devices modeling semi-formal methods ubiquitous computing user interface design user interfaces

Editors and affiliations

  • Joaquim A. Jorge
    • 1
  • Nuno Jardim Nunes
    • 2
  • João Falcão e Cunha
    • 3
  1. 1.Departamento de Engenharia InformáticaINESCLisboaPortugal
  2. 2.Departamento de Matemática e EngenhariasUniversidade da MadeiraFunchalPortugal
  3. 3.Faculdade de Engenharia da Universidade do PortoPortoPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20159-5
  • Online ISBN 978-3-540-39929-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site