Formal Methods Wiki
REDO
Redo-book-cover

The REDO Compendium covers the results of the ESPRIT II REDO project (no. 2487, 1989–1992) concerned with software maintenance and reverse engineering. The publication details are:

The REDO Compendium: Reverse Engineering for Software Maintenance, edited by H.J. van Zuylen. John Wiley & Sons, 1993, ISBN 0-471-93607-3.

The books is available from Amazon UK or Amazon USA.


For further information, please contact Jonathan Bowen.