A good designer must rely on experience on precise logic thinking; and on pedantic exactness. No magic will do.
In the practical world of computing it is rather uncommon that a program once it performs correctly and satisfactorily remains unchanged forever.