Re Documentation

Program-Transformation.Org: The Program Transformation Wiki
Redocumentation is the simplest and oldest form of ReverseEngineering.

The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where the resulting semantically-equivalent representation is an alternate view intended for a human audience.

Automated redocumentation is discussed in the page on DocumentationGeneration.