Publications

Publications by José Creissac Campos

2012

ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012

Authors
Barbosa, SDJ; Campos, JC; Kazman, R; Palanque, PA; Harrison, MD; Reeves, S;

Publication
EICS

Abstract

1998

The role of verification in interactive systems design

Authors
Campos, JC; Harrison, MD;

Publication
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98

Abstract
In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required properties; and that changing the focus from a global specification into partial, property oriented, specifications can provide a number of advantages and make verification act as an aid to decision making. We also present a compiler that allows for the verification of interactor specifications to be done in SMV, as well as a simple case study where verification is used to inform a design decision.

CloseRead 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

1997

Formally verifying interactive systems: A review

Authors
Campos, JC; Harrison, MD;

Publication
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain

Abstract

2003

From HCI to Software Engineering and Back

Authors
Campos, JC; Harrison, MD;

Publication
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA

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