Une approche d'ingénierie logicielle qui dérive d'un système conception ou les exigences de son code. La conception peut être représentée par un langage de conception de programme (PDL) ou un langage formel. En créant une vue logique d'un système physique, reverse engineering permet de maintenir et d'améliorer les systèmes existants.