Técnica formal de transformación de programas de computador que parte de uno ya existente pata obtener uno nuevo.