Formal Documentation Methodology to Capture Re-Engineering Considerations