Eurographics

Design, Specification and Verification of Interactive Systems ’97

Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997

Editors: Harrison, Michael D., Torres, Juan C. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-7091-6878-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-211-83055-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
About this book

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Table of contents (20 chapters)

Table of contents (20 chapters)
  • Do interactive systems need specifications?

    Pages 1-12

    Hall, Anthony

  • PAC-ing the Architecture of Your User Interface

    Pages 13-27

    Coutaz, Joëlle

  • DMVIS: Design, Modelling and Validation of Interactive Systems

    Pages 29-44

    Fields, Bob (et al.)

  • Users as rational interacting agents: formalising assumptions about cognition and interaction

    Pages 45-60

    Blandford, Ann (et al.)

  • Establishing a link between usability and utility: validation of task-based dialogue using a semantic prototype

    Pages 61-76

    Sanz, Marcos F. (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-7091-6878-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-211-83055-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...

Bibliographic Information

Bibliographic Information
Book Title
Design, Specification and Verification of Interactive Systems ’97
Book Subtitle
Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Editors
  • Michael D. Harrison
  • Juan C. Torres
Series Title
Eurographics
Copyright
1997
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag/Wien
eBook ISBN
978-3-7091-6878-3
DOI
10.1007/978-3-7091-6878-3
Softcover ISBN
978-3-211-83055-0
Series ISSN
0946-2767
Edition Number
1
Number of Pages
VIII, 320
Number of Illustrations
56 b/w illustrations
Topics