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��� ��������� ���������고, ������ 극��������� ��������� ���������까���? --��������.