In ingegneria di andata e ritorno tra informazioni sul modello e codice, un processo che mantiene una corrispondenza esatta tra le proprietà di un elemento del modello e sue dichiarazioni di codice sorgente equivalente.