Leslie Lamport: Thinking Above the Code
Microsoft Research · 59:50 · Watch on YouTube
Leslie Lamport는 프로그래머가 수학적으로 생각하고 코딩하기 전에 명세서를 작성해야 한다고 주장한다. 쓰지 않고 생각하면 자신을 속이게 되며, 코드 수준의 사고는 미묘하고 동시적이며 중요한 시스템에서는 실패하기 때문이다.
Microsoft Research · 59:50 · Watch on YouTube
Leslie Lamport는 프로그래머가 수학적으로 생각하고 코딩하기 전에 명세서를 작성해야 한다고 주장한다. 쓰지 않고 생각하면 자신을 속이게 되며, 코드 수준의 사고는 미묘하고 동시적이며 중요한 시스템에서는 실패하기 때문이다.