Publications

Publications by HASLab

2008

Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

Authors
Lämmel, R; Visser, J; Saraiva, J;

Publication
GTTSE

Abstract

2008

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Authors
Lammel, R; Visser, J; Saraiva, J;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

2008

Analysing Human Aspects of Safety-Critical Software

Authors
Harrison, MD; Campos, JC;

Publication
ERCIM News

Abstract

2008

Connecting Rigorous System Analysis to Experience-Centered Design

Authors
Harrison, MD; Campos, JC; Doherty, GJ; Loer, K;

Publication
Maturing Usability - Quality in Software, Interaction and Value

Abstract

2008

Exploring an Option Space to Engineer a Ubiquitous Computing System

Authors
Harrison, MD; Kray, C; Campos, JC;

Publication
Electronic Notes in Theoretical Computer Science

Abstract
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interactive behaviour in ubiquitous systems. Of particular interest is the way that these models may help engineers to visualise the consequences of different designs. Design options based on a dynamic signage system (GAUDI) are explored using different instances of a generic model of the system.

CloseRead Abstract

2008

Considering Context and Users in Interactive Systems Analysis

Authors
Campos, JC; Harrison, MD;

Publication
ENGINEERING INTERACTIVE SYSTEMS

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 151 oil 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.

CloseRead Abstract