Skip to main content
SpringerLink
Log in
Book cover

Engineering for HCI

  • Book
  • © 1996

Overview

Editors:
  1. Leonard J. Bass

    1. Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Claus Unger

    1. University of Hagen, Hagen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

Included in the following conference series:

Conference proceedings info: EHCI 1995.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. New Technology

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Is there a wearable computer in your future?

      • L. Bass
      Pages 3-16

    3. A structured video browsing tool

      • G. Benedetti, B. Bodin, F. Lhuisset, O. Martineau, B. Merialdo
      Pages 17-27

    4. Vision for man machine interaction

      • J. L. Crowley, J. Coutaz
      Pages 28-45

  4. Formal Methods

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Systematic methods for user interface design

      • O. Lauridsen
      Pages 169-188

    3. Validating interactive system design through the verification of formal task and system models

      • P. Palanque, R. Bastide, V. Sengès
      Pages 189-212

    4. Formal verification of undesired behaviours in the CERD case study

      • F. Paterno, M. Mezzanotte
      Pages 213-226

    5. Adding user interface to a behavioral specification

      • K. Systä
      Pages 227-244

  5. Multi-User Interface Architectures and Tools

    1. Front Matter

      Pages 245-245
      Download chapter PDF

    2. Multiuser architectures

      • P. Dewan
      Pages 247-270

    3. Multiuser interface architecture using structured distributed shared memories

      • N. Koshizuka, K. Sakamura
      Pages 271-290
Back to top

Keywords

About this book

The volume contains all papers presented at the Working Conference on Engineering for Human-Computer Interaction (EHCI'95), grouped into the topic areas Formal Methods, Tools, Multimedia, Architecture, CSCW, and Design. It includes transcripts of all discussions among the presenters and the conference participants. It further contains the results of several mini-workshops held during the conference on topics like the Human Context, How to make Formal Methods Useful, Rapid Implementation and Development, Usability Testing, CSCW Mini Scenarios.

Editors and Affiliations

  • Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, USA

    Leonard J. Bass

  • University of Hagen, Hagen, Germany

    Claus Unger

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation