Browse by author
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.
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
URL: http://dx.doi.org/10.1007/978-3-540-92698-6_12
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
