Un enfoque de ingeniería de software que se deriva de requisitos de su código o diseño de un sistema. El diseño podría ser representado por un lenguaje de diseño de programa (PDL) o un lenguaje formal. Mediante la creación de una vista lógica de un sistema físico, inverso ingeniería ayuda a mantener y mejorar los sistemas existentes.