Ausgabe 2/2015
Special Issue: Formal Methods for Interactive Systems
Inhalt (6 Artikel)
SI: FMIS
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold Thimbleby
SI: FMIS
Reusing models and properties in the analysis of similar interactive devices
Michael D. Harrison, José Creissac Campos, Paolo Masci
SI: FMIS
Using PVS to support the analysis of distributed cognition systems
Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford
SI: FMIS
Is my configuration any good: checking usability in an interactive sensor-based activity monitor
Muffy Calder, Phil Gray, Chris Unsworth