Ein Software-Engineering-Ansatz, der ein System Design oder Anforderungen Code abgeleitet wird. Das Design könnte durch eine Programm-Design-Sprache (PDL) oder eine formale Sprache dargestellt werden. Durch Erstellen einer logischen Sicht aus einem physikalischen System, umgekehrte Technik hilft, Erhaltung und Erweiterung bestehender Systeme.