一種軟體工程方法派生的系統設計或從其代碼的要求。設計可以表示的程式設計語言 (PDL) 或正式語言。通過創建邏輯視圖從一個物理系統，反向工程有助於維持和加強現有的系統。