În tur-retur între inginerie informaţii model si cod, un proces care menţine o potrivire exactă între proprietăţile unui element de model şi de declaraţiile sale echivalente codul sursă.