形式化方法不是银弹,但它们是追求可靠系统的重要工具。
公司的文化是由领导者的行动定义的,而不仅仅是他们的言辞。
传记的挑战不在于发现事实 - 而在于发现事实背后的意义。
事情总是出乎意料!
每一代人都认为自己比前一代人更聪明,比后一代人更明智。
我的失明不是悲剧,只是另一种看待世界的方式。
We are all potential fossils waiting to be uncovered.