Lookup NU author(s): Professor Michael Harrison
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  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.
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
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science