Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

The user context and formal specification in interactive system design

Lookup NU author(s): Professor Michael HarrisonORCiD, Emeritus Professor Pete Wright

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Harrison M, Fields R, Wright PC

Editor(s): Roast, C.R., Siddiqi, J.I.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

Year of Conference: 1996

Pages: 1-12

Publisher: Springer in collaboration with the British Computer Society

URL: http://www.bcs.org/server.php?show=ConWebDoc.4928

Notes: Invited paper. Available online via BCS site.

Series Title: Electronic Workshops in Computing


Share