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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/b13960
  • 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
  • About this book