Volume 11, Issue 2 | Innovations in Systems and Software Engineering

Search all Innovations in Systems and Software Engineering articles

Volume 11, Issue 2

June 2015

Special Issue: Formal Methods for Interactive Systems

Issue Editor:

Steve Reevers

6 articles in this issue

Preface
Steve Reeves
Editorial 13 May 2015 Pages: 71 - 71
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Paolo Masci
Rimvydas Rukšėnas
Harold Thimbleby
SI: FMIS 02 April 2013 Pages: 73 - 93
Reusing models and properties in the analysis of similar interactive devices
Michael D. Harrison
José Creissac Campos
Paolo Masci
SI: FMIS 03 April 2013 Pages: 95 - 111
Using PVS to support the analysis of distributed cognition systems
Paolo Masci
Paul Curzon
Ann Blandford
SI: FMIS 03 April 2013 Pages: 113 - 130
Is my configuration any good: checking usability in an interactive sensor-based activity monitor
Muffy Calder
Phil Gray
Chris Unsworth
SI: FMIS 29 March 2013 Pages: 131 - 142
Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving
Doron Drusinsky
Original Paper 24 March 2015 Pages: 143 - 152