摘要：
软件是科学还是艺术。如果是科学，应该能用数学来证明，但是至今没有人能用数学来证明一段程序是否正确。编程的本质。一位软件开发人员曾经在85年的时候写过一篇论文，说美国的星球大战计划绝不可能实现，因为导弹防御系统天生无法在真实的工作条件下测试。而编程却是一种试错功夫，人们在写程序时，从不指望一次就写对， 阅读全文
|
摘要：
软件是科学还是艺术。如果是科学，应该能用数学来证明，但是至今没有人能用数学来证明一段程序是否正确。编程的本质。一位软件开发人员曾经在85年的时候写过一篇论文，说美国的星球大战计划绝不可能实现，因为导弹防御系统天生无法在真实的工作条件下测试。而编程却是一种试错功夫，人们在写程序时，从不指望一次就写对， 阅读全文
|