系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
看到神圣之光的最好方法是熄灭你自己的蜡烛。
礼义法度,是随着时势而变化的。
这句话借用俗语,表达了命运无常、机遇变化的道理。
The only way to do great work is to love what you do.
There is no such thing as society: there are individual men and women, and there are families.
故事是我们理解世界的方式,也是我们理解自己的方式。