M. Harrison and J. C. Campos
Analysing Human Aspects of Safety-Critical Software
ERCIM News, 75:18, October. 2008. (Invited paper; ISSN: 0926-4981)

Abstract

In focusing on human system interactions, the challenge for software engineers is to build systems that allow users to carry out activities and achieve objectives effectively and safely. A well-designed system should also provide a better experience of use, reducing stress and frustration. Many methods aim to help designers to produce systems that have these characteristics. Our research is concerned with the use of formal techniques to help construct such interactive systems.

  visit publisher

@ARTICLE{HarrisonC:08,
 author = {M. Harrison and J. C. Campos},
 title = {Analysing Human Aspects of Safety-Critical Software},
 journal = {ERCIM News},
 year = {2008},
 month = {October},
 volume = {75},
 note = {Invited paper; ISSN: 0926-4981},
 pages = {18},
 url = {http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf},
 abstract = {In focusing on human system interactions, the challenge for software engineers is to build systems that allow users to carry out activities and achieve objectives effectively and safely. A well-designed system should also provide a better experience of use, reducing stress and frustration. Many methods aim to help designers to produce systems that have these characteristics. Our research is concerned with the use of formal techniques to help construct such interactive systems.}
}

Generated by mkBiblio 2.6.16