Thinking for Programmers: Rising Above the Code

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 forextremely rigorous specifications before coding complex or criticalsystems should be obvious -especially for concurrent and distributedsystems.This talk explains why some sort of specification should bewritten for any software.