Програмна інженерія підходу, що походить на систему дизайн або вимоги за його код. Дизайн може представляти програма дизайну мови (PDL) або формальна мова. , Створюючи логічних подання з фізичної системи зворотного інженерної допомагає підтримувати і зміцнювати існуючих систем.