Celebrate the holidays with Apress Access for just $/£/€ 99!

Lecture Notes in Computer Science

Interactive Systems. Design, Specification, and Verification

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

Editors: Jorge, Joaquim, Jardim Nunes, Nuno, Falcao e Cunha, Joao (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-39929-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-20159-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (32 chapters)

Table of contents (32 chapters)
  • Canonical Abstract Prototypes for Abstract Visual and Interaction Design

    Pages 1-15

    Constantine, Larry L.

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

    Pages 16-33

    Barbosa, Simone Diniz Junqueira (et al.)

  • Applying Extended Finite State Machines in Software Testing of Interactive Systems

    Pages 34-45

    Fantinato, Marcelo (et al.)

  • An Empirical Study of Personal Document Spaces

    Pages 46-60

    Gonçalves, Daniel J. (et al.)

  • StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications

    Pages 61-76

    Winckler, Marco (et al.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-39929-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-20159-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Interactive Systems. Design, Specification, and Verification
Book Subtitle
10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Editors
  • Joaquim Jorge
  • Nuno Jardim Nunes
  • Joao Falcao e Cunha
Series Title
Lecture Notes in Computer Science
Series Volume
2844
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39929-2
DOI
10.1007/b13960
Softcover ISBN
978-3-540-20159-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 432
Topics