Toggle Main Menu Toggle Search

Open Access padlockePrints

Considering context and users in interactive systems analysis

Lookup NU author(s): Professor Michael HarrisonORCiD


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


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 in-teractions. These techniques for the analysis of interactive systems typically fo-cus 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.

Publication metadata

Author(s): Campos JC, Harrison MD

Editor(s): Gulliksen, J., Harning, M.B., Palanque, P., van der Veer, G.C., Wesson, J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Engineering Interactive Systems 2008: Second Conference on Human-Centered Software Engineering (HCSE)

Year of Conference: 2008

Pages: 193-209

Publisher: Springer


DOI: 10.1007/978-3-540-92698-6_12

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540859918