M.D. Harrison, J.C. Campos and P. Masci
Reusing models and properties in the analysis of similar interactive devices
Innovations in Systems and Software Engineering, 11(2):95-111, June. 2015.

Abstract

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.

  visit publisher download from RepositoriUM

@article{HarrisonCM:2015,
 author = {M.D. Harrison and J.C. Campos and P. Masci},
 title = {Reusing models and properties in the analysis of similar interactive devices},
 journal = {Innovations in Systems and Software Engineering},
 abstract = {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.},
 keywords = {Modal action logic; IVY; Medical devices; Procurement; Interactive systems},
 volume = {11},
 number = {2},
 doi = {10.1007/s11334-013-0201-3},
 paperurl = {http://hdl.handle.net/1822/34018},
 paperurl = {http://www.di.uminho.pt/~jfc/publications/HarrisonCM15-authorsversion.pdf},
 pages = {95-111},
 publisher = {Springer-Verlag},
 month = {June},
 year = {2015},
 issn = {1614-5046}
}

Generated by mkBiblio 2.6.16