During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Reverse engineering aims at extracting abstract, goal- oriented views of the system, able to summarize relevant properties of the program's computations. This book provides a comprehensive overview of several techniques that have been recently investigated in the field of reverse engineering. It describes how to design object-oriented code and accompanying algorithms that can be reverse engineered for greater flexibility in future code maintenance and alteration. Coverage provides essential object-oriented concepts and programming methods for software engineers and researchers.