Study Week: Selected textbooks only 14.99 each—eBooks & softcovers on sale! Shop now >>

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.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • 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 in USD
  • ISBN 978-3-540-69553-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock

Table of contents (22 chapters)

Table of contents (22 chapters)
  • How Do Developers Meet Users? – Attitudes and Processes in Software Development

    Pages 1-10

    Gulliksen, Jan

  • Validity and Cross-Validity in HCI Publications

    Pages 11-24

    Thimbleby, Harold

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

    Pages 25-38

    Barboni, Eric (et al.)

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

    Pages 39-51

    Santos, Mónica Sara (et al.)

  • Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems

    Pages 52-66

    Thimbleby, Harold

Buy this book

eBook $74.99
price for USA in USD
  • 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 in USD
  • ISBN 978-3-540-69553-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
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