程序设计需要系统化的方法 一方面要写大型程序，一方面要精确到 细枝末节，这极具挑战性 一细节上的微小差错可带来巨大灾难， 例如1996年阿丽亚娜5火箭首次鉴定发射 失败的原因是将一个浮点数转换为整数的 代码有问题 33