J. Creissac Campos
University of Minho
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by J. Creissac Campos.
Interactive Systems. Design, Specification, and Verification | 2008
J. Creissac Campos; Michael D. Harrison
The paper explores the role that formal modeling may play in aiding the visualization and implementation of usability requirements of a control panel. We propose that this form of analysis should become a systematic and routine aspect of the development of such interfaces. We use a notation for describing the interface that is convenient to use by software engineers, and describe a set of tools designed to make the process systematic and exhaustive.
ICST Transactions on Ambient Systems | 2014
Tiago Emanuel Oliveira Gomes; Tiago Abade; J. Creissac Campos; Michael D. Harrison; José Luís Silva
APEX was developed as a framework for ubiquitous computing (ubicomp) prototyping through virtual environments. In this paper the framework is used as a platform for developing a serious game designed to instruct and to inform. The paper describes the Asthma game, a game aimed at raising awareness among children of asthma triggers in the home. It is designed to stimulate a healthier life-style for those with asthma and respiratory problems. The game was developed as the gamification of a checklist for the home environment of asthma patients. Received on 01 December 2013; accepted on 03 February 2014; published on 04 March 2014
national conference on artificial intelligence | 2014
M. F. Sousa; J. Creissac Campos; Miriam C. Bergue Alves; Michael D. Harrison
Electronic Communications of the EASST | 2013
Michael D. Harrison; Paolo Masci; J. Creissac Campos; Paul Curzon
The 2nd International Workshop on Verification and Validation of Enterprise Information Systems | 2004
J. Creissac Campos; Michael D. Harrison; Karsten Loer
ABCM Symposium Series in Mechatronics | 2008
José Machado; Eurico Seabra; J. Creissac Campos; Filomena Soares; Celina Pinto Leão
Archive | 2006
J. Creissac Campos; Alexandre Mano
Workshop on "Ubiquitous games and gamifiction for promoting behavior change and wellbeing" | 2013
Tiago Emanuel Oliveira Gomes; Tiago Abade; Michael D. Harrison; José Luís Silva; J. Creissac Campos
UIDL 2011 - Software Support for User Interface Description Language - Interact'2011 Workshop | 2011
J. Creissac Campos; Sandrine Mendes
XIV INTERNATIONAL CONGRESS ON PROJECT ENGINEERING | 2010
Paulo Borges; José Machado; João Amaro Oliveira Ferreira; J. Creissac Campos; Emilia Villani