L'uso di strumenti software per aiutare nella trasformazione di una specifica del programma in un programma che si rende conto che specifica.