Jonathan P Bowen, Peter T Breuer, Kevin C Lano
1991, 45pp.
This report gives an overview of the work performed by the Programming Research Group as part of the European collaborative ESPRIT II "REDO" project (no. 2487).
This work covered the areas of reverse-engineering: redocumentation and re-engineering; validation: post-hoc verification and generation of correct code from specifications; maintenance: new languages and methods to support maintenance. Research in areas of concurrent programming and decompilation were also performed.