Skip to main content
Springer Nature Link
Log in

Interactive Systems. Design, Specification, and Verification

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Joaquim A. Jorge

    1. Departamento de Engenharia Informática, INESC, Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nuno Jardim Nunes

    1. Departamento de Matemática e Engenharias, Universidade da Madeira, Funchal, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. João Falcão e Cunha

    1. Faculdade de Engenharia da Universidade do Porto, Porto, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: DSV-IS 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper

    1. Canonical Abstract Prototypes for Abstract Visual and Interaction Design

      • Larry L. Constantine
      Pages 1-15

  3. Test and Evaluation

    1. Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering

      • Simone Diniz Junqueira Barbosa, Maíra Greco de Paula
      Pages 16-33

    2. Applying Extended Finite State Machines in Software Testing of Interactive Systems

      • Marcelo Fantinato, Mario Jino
      Pages 34-45

    3. An Empirical Study of Personal Document Spaces

      • Daniel J. Gonçalves, Joaquim A. Jorge
      Pages 46-60

  5. Tools and Technologies

    1. Functionally Modeled User Interfaces

      • Antony Courtney
      Pages 107-123

    2. Architectures for Widget-Level Plasticity

      • Baha Jabarin, T. C. Nicholas Graham
      Pages 124-138

    3. Specification-Based Testing of User Interfaces

      • Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
      Pages 139-153

    4. Calligraphic Interfaces: Mixed Metaphors for Design

      • João P. Pereira, Joaquim A. Jorge, Vasco A. Branco, F. Nunes Ferreira
      Pages 154-170

  6. Task Modeling

    1. Using Task Knowledge to Guide Interactor Specifications Analysis

      • José Creissac Campos
      Pages 171-186

    2. Higher-Order Task Models

      • Anke Dittmar, Peter Forbrig
      Pages 187-202

    3. Derivation of a Dialog Model from a Task Model by Activity Chain Extraction

      • Kris Luyten, Tim Clerckx, Karin Coninx, Jean Vanderdonckt
      Pages 203-217

    4. Describing Just-UI Concepts Using a Task Notation

      • Pedro J. Molina, Jorge Belenguer, Óscar Pastor
      Pages 218-230

  7. Model-Based Design

    1. Model-Based Design of Speech Interfaces

      • Silvia Berti, Fabio Paternò
      Pages 231-244

    2. Model-Based Design of Adaptive User Interfaces through Connectors

      • Víctor López-Jaquero, Francisco Montero, José P. Molina, Antonio Fernández-Caballero, Pascual González
      Pages 245-257

    3. Model-Based Electronic Performance Support

      • Chris Stary, Simone Stoiber
      Pages 258-272

  8. Mobile and Multiple Devices

    1. Improving User Interface Usability Using Mobile Agents

      • Nikola Mitrović, Eduardo Mena
      Pages 273-287
Back to top

Other volumes

  1. Interactive Systems. Design, Specification, and Verification

Editors and Affiliations

  • Departamento de Engenharia Informática, INESC, Lisboa, Portugal

    Joaquim A. Jorge

  • Departamento de Matemática e Engenharias, Universidade da Madeira, Funchal, Portugal

    Nuno Jardim Nunes

  • Faculdade de Engenharia da Universidade do Porto, Porto, Portugal

    João Falcão e Cunha

Bibliographic Information

Publish with us

Policies and ethics

Back to top