M. D. Harrison, J. C. Campos and K. Loer
Formal analysis of interactive systems: opportunities and weaknesses
In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, chapter 5, pages 88-111. Cambridge University Press. 2008.

Abstract

Although formal techniques are not widely used in the analysis of interactive systems there are reasons why an appropriate set of tools, suitably designed to be usable by system engineers, could be of value in the portfolio of techniques used to assess interactive systems. This chapter describes the role of formal techniques in modelling and analysing interactive systems, discusses unfulfilled opportunities and speculates about the removal of barriers to their use. It also presents the opportunities that a clear expression of the problem and systematic analysis techniques may afford.

visit publisher  

@InCollection{HarrisonCL:2008,
 author = {M. D. Harrison and J. C. Campos and K. Loer},
 title = {Formal analysis of interactive systems: opportunities and weaknesses},
 booktitle = {Research Methods in Human Computer Interaction},
 publisher = {Cambridge University Press},
 editor = {P. Cairns and A. Cox},
 year = {2008},
 pages = {88-111},
 chapter = {5},
 abstract = {Although formal techniques are not widely used in the analysis of interactive systems there are reasons why an appropriate set of tools, suitably designed to be usable by system engineers, could be of value in the portfolio of techniques used to assess interactive systems. This chapter describes the role of formal techniques in modelling and analysing interactive systems, discusses unfulfilled opportunities and speculates about the removal of barriers to their use. It also presents the opportunities that a clear expression of the problem and systematic analysis techniques may afford.},
 url = {http://www.cambridge.org/fr/academic/subjects/psychology/applied-psychology/research-methods-human-computer-interaction?format=PB}
}

Generated by mkBiblio 2.6.26