システムの設計または要件のコードから派生して、ソフトウェア エンジニア リングのアプローチ。デザインは、プログラム設計言語 (PDL) または正式な言語によって表されます。物理システムから、逆の論理ビューを作成することによって エンジニア リングを維持し、既存システムの強化に役立ちます。