Thinking Above the Code Leslie Lamport Microsoft Research 0 Why Think? It helps us do most things: Hunting a sabre-toothed tiger. Building a house. Writing a program. 0 Why Think? It helps us do most things: Hunting a sabre-toothed tiger. Building a house. Writing a program. 0 Why Think? It helps us do most things: Hunting a sabre-toothed tiger. Building a house. Writing a program. 0 Why Think? It helps us do most things: Hunting a sabre-toothed tiger. Building a house. Writing a program. 0 Why Think? It helps us do most things: Hunting a sabre-toothed tiger. Building a house. Writing a program. 0 When to Think Hunting a sabre-toothed tiger. Before leaving the cave. Building a house. Before beginning construction. Writing a program. Before writing any code. 1 When to Think Hunting a sabre-toothed tiger. Before leaving the cave. Building a house. Before beginning construction. Writing a program. Before writing any code. 1 When to Think Hunting a sabre-toothed tiger. Before leaving the cave. Building a house. Before beginning construction. Writing a program. Before writing any code. 1 When to Think Hunting a sabre-toothed tiger. Before leaving the cave. Building a house. Before beginning construction. Writing a program. Before writing any code. 1