Yes we do. Perhaps not all schools teach it this way, but my computer science education included a semester of lectures that started us off in the process of S

Yes we do. Perhaps not all schools teach it this way, but my computer science education included a semester of lectures that started us off in the process of Stepwise Refinement. In S.R. you start with a goal and progressively, or step-wise, refine it until you are at a level in which it is obvious what code should be written, whether it be an assignment, expression, loop, functional call etc. I believe S.R. dates from Dijkstra and the Algol-W period.