Thinking Above the Code

Speaker  Leslie Lamport

Affiliation  Microsoft Research

Duration  00:59:48

Date recorded  14 July 2014

Leslie Lamport, Turing Award winner, Microsoft Research, presents this keynote during the 2014 Microsoft Research Faculty Summit.

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.

©2014 Microsoft Corporation. All rights reserved.
Learn more
> Thinking Above the Code