Skip to main content
SpringerLink
Log in
Book cover

People and Computers XII pp 315–336Cite as

Formally Comparing and Informing Notation Design

  • Conference paper

Abstract

This paper uses the analytic framework of cognitive dimensions to provide formal interpretations of dimensions for appraising the suitability of interactive systems for particular tasks. The framework also provides an effective terminology to support a wide range of assessments including interface evaluation, and the resistance of notations to modification. We propose that interface design can benefit from interpreting cognitive dimensions as tools for assessing software characteristics such as usability and modifiability. Our interpretation of these dimensions has the benefits of being formal and at the same time yielding practical measures and guidelines for assessment. In this paper our formalisation of cognitive dimensions examines and illustrates the dimensions of ‘viscosity’ — resistance to change. We demonstrate the appropriateness of the measures developed as a means of assessing notational resistance to change and the general results that their formalization enables.

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.

References

  1. P. J. Barnard and M. D. Harrison (1992) Towards a Framework for Modelling Human Computer Interactions“, Proceedings International Conference on {HCI}, EWHCI’92 ed J. Gornostaev pp189–196 Moscow:{ICSTI}

    Google Scholar 

  2. T. Berners-Lee and D.Connolly (1995) Hypertext Markup Language - 2.0 Internet-Draft of the International Engineering Task Force

    Google Scholar 

  3. A. J. Dix (1991) Formal Methods for Interactive Systems Academic Press

    Google Scholar 

  4. D. J. Duke and P. J. Barnard and J. May and D. A. Duce(1995) Systematic Development of the Human Interface; Proceedings of APSEC’95: Second Asia-Pacific Software Engineering Conference, IEEE Computer Society Press

    Google Scholar 

  5. D. J. Duke and M. D. Harrison (1995) Mapping user requirements to implementations; Software Engineering Jounal, 10 1 pp 13–20

    Google Scholar 

  6. D. J. Gilmore (1997) Cognitive Dimensions as a tool for comparative evaluation; Psychology Department, University of Nottingham

    Google Scholar 

  7. T. R. G. Green (1989) Cognitive Dimensions of Notations; People and Computers V ed A. Sutcliffe and Macaulay; Cambridge University Press pp443–460“

    Google Scholar 

  8. T.R.G. Green and M. Petre (1996) Usability Analysis of Visual Porgramming Environments: a’cognitive dimensions’ framework; The Journal of Visual Languages and Computing 7 (2) pp 131–174

    Article  Google Scholar 

  9. M. D. Harrison and A. E. Blandford and P. J. Barnard (1993) University of York; The software engineering of user freedom:Amodeus 2 Document

    Google Scholar 

  10. Leslie Lamport (1986) LaTeX: A Document Preparation Language Addison–Wesley: ISBN 0–201–15790

    Google Scholar 

  11. D. Lavery and G. Cockton and M. Atkinson (1996) Cognitive Dimensions: Usability Evaluation Materials. Deparment of Computing Science, University of Glasgow

    Google Scholar 

  12. R. De Nicola and A. Fantechi and S. Gnesi and G. Ristori (1991) An Action based framework for verifying logical and behavioural properties of concurrent systems: Proceedings of 3rd Workshop on Computer Aided Verification

    Google Scholar 

  13. M. B. Özcan (1993) An Integrated Rapid Prototyping Environment Based on Executable Specifications: UMIST, U.K

    Google Scholar 

  14. M. B. Özcan and J Siddiqi (1996) Interchanging Specifications and Implementations in Evolutionary Prototyping: Software- Practice and Experience 26 (9) pp 999–1023

    Article  Google Scholar 

  15. F. Paternò (1995) Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy“, Springer–Verlag: Eurographics Seminar Series ISBN 3–540–59450–9

    Google Scholar 

  16. S. J. Payne and T. R. G. Green (1986) Task-action grammars: a model of mental representation of task languages: Human-Computer Interaction 2 (2) pp 95133

    Google Scholar 

  17. M. S. Powell (1989) A Program Development Environment based on Persistence and Abstract Data Types: Workshop on Persistent Object Systems

    Google Scholar 

  18. P. Reisner (1983) Formal grammar as a tool for analysing ease of use: some fundamental concepts Human Factors in Computer Systems, ed J. C. Thomas and M. L. Schneider pp 53–78

    Google Scholar 

  19. C. R. Roast (1994) Modelling Interaction Using Template Abstractions, People and Computers IX; ed G. Cockton, S. W. Draper and G. R. S. Weir pp 273–284

    Google Scholar 

  20. C. R. Roast and J. I. Siddiqi (1996), The Formal Examination of Cognitive Dimensions; HCI96 Adjunct Proceedings pp150–156

    Google Scholar 

  21. C. R. Roast and J. I. Siddiqi (1996) Formally Assessing Software Modifiability, BCS–FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10–12 September 1996; Springer–Verlag Electronic Workshops in Computing; ed, C. R. Roast and J. I. Siddiqi ISBN 3–540–76105–5

    Google Scholar 

  22. C. R. Roast and J. I. Siddiqi (1997) Usability Requirements as Specification Constraints–an example of WYSIWYG; IEE Proceedings Software Engineering 144 (2) pp 101–110

    Article  Google Scholar 

  23. C. R. Roast and J. I. Siddiqi (1996) Relating Knock-on Viscosity to Software Modifiability; Proceedings of OZCHI 96, Hamilton, New Zealand: IEEE Computer Society Press

    Google Scholar 

  24. J. I. A. Siddiqi and B. Ratcliff (1985) An Empirical Investigation into Problem Decomposition Strategies used in Program Design; International Journal of Man Machine Studies 22 pp 77–90

    Google Scholar 

  25. S. Yang and M. Burnett and E. DeKoven and M. Zloof (1995) Representation design benchmarks: a design–time aid for VPL navigable static representations Oregon State University; No TR 95–60–3

    Google Scholar 

  26. C. R. Roast and J. I. Siddiqi (eds) BCS–FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10–12 September 1996 Springer–Verlag, Electronic Workshops in Computing ISBN 3–540–76105–5

    Google Scholar 

  27. A. Blandford and H. Thimbleby (1996) HCI96 Industry Day & Adjunct Proceedings ISBN 1 85924 119 0

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Research Centre, Sheffield Hallam University, Sheffield, S11 8HD, UK

    C. R. Roast

Authors
  1. C. R. Roast
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Middlesex University, Bounds Green Road, N11 2NQ, London, UK

    Harold Thimbleby

  2. Hewlett-Packard Research Laboratories, Filton Road, BS16 6QZ, Stoke Gifford, Bristol, UK

    Brid O’Conaill

  3. Centre for Personal Information Management, University of West of England, Coldharbour Lane, BS16 1QY, Bristol, UK

    Peter J. Thomas

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag London

About this paper

Cite this paper

Roast, C.R. (1997). Formally Comparing and Informing Notation Design. In: Thimbleby, H., O’Conaill, B., Thomas, P.J. (eds) People and Computers XII. Springer, London. https://doi.org/10.1007/978-1-4471-3601-9_19

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3601-9_19

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76172-3

  • Online ISBN: 978-1-4471-3601-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation