Este documento presenta tres métodos y modelos para la reingeniería de software:
1) El método de análisis de opciones para reingeniería, que identifica componentes del sistema y analiza opciones para la extracción y reuso de componentes.
2) El modelo de herradura, que se basa en el análisis, transformación y desarrollo del sistema a través de tres procesos y niveles de abstracción.
3) El modelo cíclico, que define seis actividades secuenciales como análisis de inventario,