Jim Woodcock, Susan Stepney, David Cooper, John Clark, Jeremy Jacob
Abstract. Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assurance for secure systems. This involved building formal models in the Z notation, linking...
Case studies on the best practices in long-term software preservation (2009)
Shaon, Arif, Woodcock, Jim, Conway, Esther
Software preservation has not had detailed consideration as a research topic or in practical application. This report presents the findings from two case studies on the approaches of two contrasting...