Using gherkin to extract tests and monitors for safer medical device interaction design
暂无分享,去创建一个
Gordon J. Pace | Adrian Francalanza | Christian Colombo | Mark Micallef | Abigail Cauchi | Adrian Francalanza | G. Pace | C. Colombo | Mark Micallef | Abigail Cauchi
[1] Gordon J. Pace,et al. Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties , 2009, FMICS.
[2] Harold W. Thimbleby,et al. Number Entry Interfaces and Their Effects on Error Detection , 2011, INTERACT.
[3] Harold W. Thimbleby,et al. Using Medical Device Logs for Improving Medical Device Design , 2013, 2013 IEEE International Conference on Healthcare Informatics.
[4] Gordon J. Pace,et al. Safer asynchronous runtime monitoring using compensations , 2012, Formal Methods Syst. Des..
[5] Yi Zhang,et al. A Hazard Analysis for a Generic Insulin Infusion Pump , 2010, Journal of diabetes science and technology.
[6] Cristina V. Lopes,et al. Aspect-oriented programming , 1999, ECOOP Workshops.
[7] Martin Leucker,et al. A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..
[8] Gregor Kiczales,et al. Aspect-oriented programming , 2001, ESEC/FSE-9.
[9] Kim J. Vicente,et al. Programming errors contribute to death from patient-controlled analgesia: case report and estimate of probability , 2003, Canadian journal of anaesthesia = Journal canadien d'anesthesie.
[10] Michael D. Harrison,et al. Reusing models and properties in the analysis of similar interactive devices , 2013, Innovations in Systems and Software Engineering.
[11] Harold W. Thimbleby,et al. Safer "5-key" number entry user interfaces using differential formal analysis , 2012, BCS HCI.
[12] Harold W. Thimbleby,et al. The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps , 2013, Innovations in Systems and Software Engineering.