Often it is the means that justify the ends: goals advance technique and technique survives even when goal structures crumble.
In computing, the mean time to failure keeps getting shorter.
Adapting old programs to fit new machines usually means adapting new machines to behave like old ones.
One can't proceed from the informal to the formal by formal means.