CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Programming and Software Engineering

Interactive Systems. Design Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

Editors: Gilroy, Stephen W., Harrison, Michael D. (Eds.)

Free Preview

Buy this book

eBook $64.99
price for USA in USD
  • ISBN 978-3-540-34146-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD

Table of contents (25 chapters)

Table of contents (25 chapters)
  • User Experience and the Idea of Design in HCI

    Pages 1-14

    Wright, Peter (et al.)

  • Formalising Performative Interaction

    Pages 15-25

    Dix, Alan (et al.)

  • DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems

    Pages 26-38

    Blandford, Ann (et al.)

  • Towards Model Checking Stochastic Aspects of the thinkteam User Interface

    Pages 39-50

    Beek, Maurice H. (et al.)

  • Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems

    Pages 51-66

    Basnyat, Sandra (et al.)

Buy this book

eBook $64.99
price for USA in USD
  • ISBN 978-3-540-34146-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Interactive Systems. Design Specification, and Verification
Book Subtitle
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Editors
  • Stephen W. Gilroy
  • Michael D. Harrison
Series Title
Programming and Software Engineering
Series Volume
3941
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-34146-8
DOI
10.1007/11752707
Softcover ISBN
978-3-540-34145-1
Edition Number
1
Number of Pages
XII, 276
Topics