Stepwise Refinement

��������� �������������������� ������ ��������� ������ ������하��� ��������� ������하��� 하?������������ ������해 ��������� ������. EdsgerDijkstra��� Niklaus Wirth��� ��� ��������� ������화���킨 ��������� ������하���.

������, TestDrivenDevelopment��� Refactoring��� ������ ��������� ������������ StepwiseRefinement��� ������������ ������.

see also:

• ScheduledWalk/������ : 1002��� RandomWalk2��� StepwiseRefinement��� ������한 ���
  
• EightQueenProblem2Discussion : EightQueenProblem, EightQueenProblem2��� ������해 ������ ������ ������ ������ ��� ������.
  

Niklaus Wirth ��������� Program Development by Stepwise Refinement(1971, CACM 14.4) (http://www.acm.org/classics/dec95/ )��� EdsgerDijkstra��� Stepwise Program Construction��� ��������� ������������ ������������. ������학 ��������� ������ ������ ������한 ���������������, ������ ��������� SR��� Structured Programming������ 핵������ ���할��� 했���������. ���������, ��� ��������� ������한 stepwise refinement��� ������하��� ������ "��������� ������ ��������� ��� ��������� ������"��� ������ ������������? ��� ������ ������ ������ ��������� stepwise refinement��� ������해 ������������. Functional Programming������ OOP������ ������할 ��� ������������? ��� ������ ������, ��� ��������� ���험��� 해������ ��������� ���������������? ��� stepwise refinement��� ��������� ������������, ������ ������하��� ��������� ���������������? --���������.