Skip to main content
SpringerLink
Log in
Book cover

Design, Specification and Verification of Interactive Systems ’99 pp 262–267Cite as

Modelisation of Co-operative Work

  • Conference paper

  • 48 Accesses

Part of the book series: Eurographics ((EUROGRAPH))

Abstract

Nowadays, there is an increasing interest in user co-operation and the different ways of accomplishing user tasks. Users share a common scenario sinudtarreously. In such systems, we must take into account technological aspects as well as human factors. Characteristics involved with users (such as usability and performance) as well as the social and contextual organisation Hurst be studied. By doing so, an abstract model, regarding design and implementation details, allow us to contemplate the efficiency of these properties.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. A. Dix, J. Finlay, G. Abowd, R. Beale: “Human Computer Interaction, second edition”. Prentince Hall, 1998.

    Google Scholar 

  2. J. Coutaz: “PAC-ing the Architecture of Your User Interface ”. In Design, Specification and Verification of Interactive Systems’97. Springer Computer Science, 1997.

    Google Scholar 

  3. F. Patern6, C. Santoro, S. Tahmassebi. “Formal Models for Cooperative Task: Concepts and Application for En-Route Air-Traffic Control”. In Design, Specification and Verification of Interactive Systems’98. Springer Computer Science, 1998.

    Google Scholar 

  4. A. Dix: “Formal methods for Interactive Systems ”. Academic Press, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. Lenguajes y Sistemas Informáticos, University of Granada, E.T.S.I. Informática. Av. Andalucía, 38, 18071, Granada, Spain

    M. Gea, F. L. Gutierrez, J. C. Torres, N. Padilla & M. Cabrera

Authors
  1. M. Gea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. L. Gutierrez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. C. Torres
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. N. Padilla
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. M. Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of York, York, UK

    David Duke

  2. Red Whale Software, Palo Alto, USA

    Angel Puerta

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag/Wien

About this paper

Cite this paper

Gea, M., Gutierrez, F.L., Torres, J.C., Padilla, N., Cabrera, M. (1999). Modelisation of Co-operative Work. In: Duke, D., Puerta, A. (eds) Design, Specification and Verification of Interactive Systems ’99. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6815-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6815-8_18

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-83405-3

  • Online ISBN: 978-3-7091-6815-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation