Programming and Software Engineering

Interactive Systems. Design, Specification, and Verification

13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Editors: Doherty, Gavin, Blandford, Ann (Eds.)

Buy this book

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

Table of contents (22 chapters)

  • How Do Developers Meet Users? – Attitudes and Processes in Software Development

    Gulliksen, Jan

    Pages 1-10

  • Validity and Cross-Validity in HCI Publications

    Thimbleby, Harold

    Pages 11-24

  • Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification

    Barboni, Eric (et al.)

    Pages 25-38

  • Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System

    Santos, Mónica Sara (et al.)

    Pages 39-51

  • Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems

    Thimbleby, Harold

    Pages 52-66

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Interactive Systems. Design, Specification, and Verification
Book Subtitle
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Editors
  • Gavin Doherty
  • Ann Blandford
Series Title
Programming and Software Engineering
Series Volume
4323
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69554-7
DOI
10.1007/978-3-540-69554-7
Softcover ISBN
978-3-540-69553-0
Edition Number
1
Number of Pages
XI, 276
Topics