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��� 단������ 무������고, ���를 극복���는 방법��� 무������까���? --김������.