Publicacoes - INESC TEC

Publicações

Publicações por José Creissac Campos

2012

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

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

Publicação
EICS

Abstract

1998

The role of verification in interactive systems design

Autores
Campos, JC; Harrison, MD;

Publicação
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.

FecharLer Abstract

2008

Connecting Rigorous System Analysis to Experience-Centered Design

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

Publicação
Maturing Usability - Quality in Software, Interaction and Value

Abstract

1997

Formally verifying interactive systems: A review

Autores
Campos, JC; Harrison, MD;

Publicação
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

Autores
Campos, JC; Harrison, MD;

Publicação
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

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

Publicação
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.

FecharLer Abstract