Encontrados 3 documentos, a visualizar página 1 de 1
Analysing interactive devices based on information resource constraints
Campos, J. Creissac; Doherty, Gavin; Harrison, Michael D.Analysis of the usability of an interactive system requires both an understanding of how the system is to be used and a means of assessing the system against that understanding. Such analytic assessments are particularly important in safety-critical systems as latent vulnerabilities may exist which have negative consequences only in certain circumstances. Many existing approaches to assessment use tasks or scen...
Developing serious games with the APEX framework
Gomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D.; Silva, José L.; Campos, J. CreissacAPEX was developed as a framework for the prototyping of ubiquitous computing (ubicomp) environments. In this paper we explore its role as a platform for developing serious games. In particular we describe the Asthma game which is aimed at raising awareness of Asthma triggers among children. The game is designed to stimulate a healthier life-style for children with ashma.
Modelling and analysing the interactive behaviour of an infusion pump
Campos, J. Creissac; Harrison, Michael D.Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011) ; This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating fact...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||