Leslie Lamport: Thinking Above the Code
Turing Award winner Leslie Lamport argues that writing code before writing a mathematical state-machine specification is like pouring concrete before drawing an architectural blueprint.
Architects draw detailed blueprints before a brick is laid or a nail is hammered. Programmers and software engineers seldom do. A blueprint for software is called a specification. The need for extremely rigorous specifications before coding complex or critical systems should be obvious—especially for concurrent and distributed systems. This talk explains why some sort of specification should be written for any software.
Seminar notes & discussion
No public seminar notes on this lecture yet.