一种软件工程方法派生的系统设计或从其代码的要求。设计可以表示的程序设计语言 (PDL) 或正式语言。通过创建逻辑视图从一个物理系统，反向工程有助于维持和加强现有的系统。