겸손한 프로그래머: 소프트웨어 위기와 프로그래밍의 미래에 대한 성찰

이 에세이는 1972년 Edsger W. Dijkstra의 유명한 강연을 기록한 것으로, 프로그래밍의 초기와 심화되는 소프트웨어 위기를 탐구합니다. Dijkstra는 프로그래밍이 직업으로 인정받지 못했던 초기 상황과 컴퓨터 성능의 비약적인 향상으로 소프트웨어의 복잡성이 급격히 증가하여 소프트웨어 위기로 이어진 경위를 설명합니다. 그는 해결책은 프로그래밍 방법론의 패러다임 전환에 있으며, “지적으로 관리 가능한 프로그램”을 제안하고 프로그램의 정확성 증명의 중요성을 강조하는 동시에 지나치게 복잡한 프로그래밍 언어에 대한 경고를 발합니다. 개선된 언어, 더욱 구조화된 프로그래밍 접근 방식, 그리고 정확성에 대한 초점이 소프트웨어의 품질과 개발 효율성을 획기적으로 향상시킬 것이라고 확신합니다.