Ett sätt att Programutvecklingsmetodik som hämtar ett system design eller krav från sin kod. Design kan företrädas av ett program design språk (PDL) eller ett formellt språk. Genom att skapa en logisk vy från ett fysiskt system, omvänd ingenjörskonst hjälper till att upprätthålla och förbättra befintliga system.