摘要：
本文作者莱斯利.兰伯特是计算机科学家，擅长分布式系统、时态逻辑和并行算法。他是工程和国家科学院国家科学院成员。兰伯特在麻省理工学院攻读数学本科，在布兰迪斯大学赢得了他的硕士和博士学位。他为微软研究所工作。 在砌上一块砖或钉下一支钉子之前，建筑设计师会制定好详细的计划。程序员或者软件工程师却不会。这难道就是房子很少塌倒而程序经常会崩溃的原因？ 蓝图保证建筑设计师的设计的建筑按规划建成。“建成”不仅仅意味不会塌倒，还意味达到业主要求的功能。建筑设计师和他们的客户在着手建造之前，通过蓝图来沟通，以理解他们将要建造成的建筑的样子。 但是很少有程序员在编码之前，会勾画哪怕是简单的草图来说明他们的程... 阅读全文