If you can dream it, you can achieve it.

系统设计的未来在于将形式化方法与传统工程实践相结合。

As you grow older, you will discover that you have two hands, one for helping yourself, the other for helping others.

质量是精心构建的文化环境的结果。它必须是组织的结构，而不是结构的一部分。