La generazione automatica di un sistema di eseguibile da un design specializzato, dove ogni descrizione del modulo è associate le implementazioni.