Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Considering context and users in interactive systems analysis

Lookup NU author(s): Professor Michael HarrisonORCiD

Downloads

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

Abstract

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

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

Share