Utilize este identificador para referenciar este registo: http://hdl.handle.net/1822/34018

TítuloReusing models and properties in the analysis of similar interactive devices
Autor(es)Harrison, Michael D.
Campos, J. Creissac
Masci, Paolo
Palavras-chaveModal action logic
Medical devices
Interactive systems
RevistaInnovations in systems and software engineering
CitaçãoHarrison, M. D., Campos, J. C., & Masci, P. (2015). Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering, 11(2), 95-111. doi: 10.1007/s11334-013-0201-3
Resumo(s)The paper is concerned with the comparative analysis of interactive devices. It compares two devices by checking a battery of template properties that are designed to explore important interface characteristics. The two devices are designed to support similar tasks in a clinical setting but differ in a number of respects as a result of judgements based on a range of considerations including software. Variations between designs are often relatively subtle and do not always become evident through even relatively thorough user testing. Notwithstanding their subtlety these differences may be important to the safety or usability of the device. The illustrated approach uses formal techniques to provide the analysis. This means that similar analysis can be applied systematically.
Descrição"Published online: 03 Apr. 2013"
Arbitragem científicayes
Aparece nas coleções:HASLab - Artigos em revistas internacionais

Ficheiros deste registo:
Ficheiro TamanhoFormato 
253.pdf1,68 MBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis