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

Search all Innovations in Systems and Software Engineering articles

Volume 4, Issue 2

June 2008

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Formal methods for interactive systems
Antonio Cerone
Paul Curzon
Editorial 29 April 2008 Pages: 123 - 123
Formal models for user interface design artefacts
Judy Bowen
Steve Reeves
Original Paper 16 April 2008 Pages: 125 - 141
Modelling and analysing cognitive causes of security breaches
Rimvydas Rukšėnas
Paul Curzon
Ann Blandford
Original Paper 22 April 2008 Pages: 143 - 160
A framework for computer-aided validation
Doron Drusinsky
James Bret Michael
Man-Tak Shing
Original Paper 11 March 2008 Pages: 161 - 168
Learning better IV&V practices
Tim Menzies
Markland Benson
Julian Richardson
Original Paper 22 February 2008 Pages: 169 - 183