Leslie Lamport强调从一开始就做好设计，认为每段代码都是补丁。他创建了LaTeX和TLA+。预先设计一切和不费心尝试之间存在巨大鸿沟。设计周期应该考虑商业价值、用户需求和改变。任何认为可以预先设计接近正确软件的人都是妄想。