- BODART , F. , HENNBRBBRT , A. , LEHBUREUX , J. and VANDBRDONCKT , J. 1994 . “ A model-based approach to presentation: a continuum from task analysis to prototype ” . In Interactive Systems: Design, Specification, Verification , Edited by: Paterno , F. 3 – 14 . Berlin : Springer .
- BOOCH , G. , RUMBAUGH , J. and JACOBSON , I. 1999 . Unified Modeling Language Reference Manual , Reading : Addison Wesley .
- BURNS , D. J. and PITBLADO , R. M. A modified HAZOP methodology for safety critical systems assessment . Directions in Proceedings of the Safety-Critical Systems Symposium . Berlin. Springer .
- FIELDS , R. , PATERNÒ , F. , SANTORO , C. and TAHMASSEBI , S. 1999 . Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study . ACM Transactions on Computer-Human Interaction , 6 : 370 – 398 .
- FIELDS , R. E. , HARRISON , M. D. and WRIGHT , P. C. 1997 . THEA: human error analysis for requirements definition , Technical Report YCS-97-294 UK : Department of Computer Science, University of York . [http://www.cs.york.ac.uk/bob/papers.html]
- GALLIERS , J. , SUTCLIFFB , A. and MINOCHA , S. 1999 . An impact analysis method for safety-critical user interface design . ACM Transactions on Computer-Human Interaction , 6 (4)
- HOLLNAGEL , R. 1993 . Human Reliability Analysis Context and Control , San Diego : Academic Press .
- IVORY , M. and HEARST , M. 1999 . Comparing performance and usability evaluation: new methods for automated usability assessment [http://www.cs.berkeley.edu/ivory/research/web/papers/peue.pdfj.
- IVORY , M. and HEARST , M. 2001 . The state of the art in automating usability evaluation of user interfaces . ACM Computing Surveys , 33 : 470 – 516 .
- JOHNSON , C. and BOTTING , R. 1999 . Reason's model of organisational accidents in formalising accident reports . Cognition, Technology and Work , 1 : 107 – 118 .
- LEVERSON , N. G. 1995 . Safeware: System Safety and Computers-A Guide to preventing accidents and losses caused by technology. , Boston : Addison Wesley .
- McDERMiD , J. A. and PUMFREY , D. J. A development of hazard analysis to aid software design . Proceedings of COMPASS'94 . (IEEE Press) [ftp://ftp.cs.york.ac.uk/hise_reports/ safety/develop.ps.Z]
- MOD . 1996 . HAZOP studies on systems containing programmable electronics , UK, Ministry of Defence Interim Def Stan 00-58, Issue 1 [http://www.dstan.mod.uk/dstan_data/ix-00.htm]
- NIBLSEN , J. 1993 . Usability Engineering , Boston : Academic Press .
- PALANQUE , P. , BASTIDE , R. and PATERNÒ , F. 1997 . Formal specification as a tool for objective assessment of safety-critical interactive systems, Proceedings INTERACT '97 , 323330 Chaman & Hall .
- PATERNÒ , F. 1999 . Model-based Design and Evaluation of Interactive Applications. , Berlin : Springer .
- PUBRTA , A. 1997 . A model-based interface development environment . IEEE Software , : 40 – 47 .
- PUERTA , A. , CHENG , E. , TUNHOW , O. and MIN , J. MOBILE: user-centred interface building . Proceedings ACM CEI'99 . pp. 424433 (ACM Press)
- REASON , J. 1990 . Human Error , Cambridge : Cambridge University Press .
- WHARTON , C. , RIBMAN , J. , LEWIS , C. and POLSON , P. 1994 . “ The cognitive walkthrough: a practitioner's guide ” . In Usability Inspection Methods , Edited by: Nielsen , J. and Mack , R. L. Chichester : Wiley .
Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: A case study in the air-traffic control domain
Reprints and Corporate Permissions
Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?
To request a reprint or corporate permissions for this article, please click on the relevant link below:
Academic Permissions
Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?
Obtain permissions instantly via Rightslink by clicking on the button below:
If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.
Related research
People also read lists articles that other readers of this article have read.
Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.
Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.