Considering context and users in interactive systems analysis

Campos JC, Harrison M.  2008.  Considering context and users in interactive systems analysis. 2nd Conference on Human-Centred Software Engineering - HCSE and 7th International Workshop on Task Models and Diagrams - TAMODIA. 4940:193-209. copy at

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:



Although the take-up of formal approaches to modelling and reasoning about software has been slow, there has been recent interest and facility in the use of automated reasoning techniques such as model checking [5] on increasingly complex systems. In the case of interactive systems, formal methods can be particularly useful in reasoning about systems that involve complex interactions. These techniques for the analysis of interactive systems typically focus on the device and leave the context of use undocumented. In this paper we look at models that incorporate complexity explicitly, and discuss how they can be used in a formal setting. The paper is concerned particularly with the type of analysis that can be performed with them.

Citation Key:




eis07contextvlncs.pdf266.37 KB