Joel Spolsky가 예일대 강연에서 말했듯, ‘명세(spec)로부터 프로그램을 생성’ 하려는 시도는 늘 실패해왔음
명세가 프로그램을 완전히 정의할 정도로 상세하다면, 그 명세를 쓰는 일 자체가 프로그램을 짜는 것만큼 어렵다는 이야기임

원칙적으로 동의하면서도 당연한게 애당초 완전은 없다는 궤델의 증명처럼, 완전한 프로덕트가 있을거라는 가정에서 시도를 비판하는거 같네요