Publisher's Synopsis
The authors establish the feasibility of using techniques such as program transformation and program abstraction to evolve legacy systems into more reliable and flexible systems. This will ease the evolving processes and thereby prolong the productive life of software systems.