"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
一个民族有一些关注天空的人，他们才有希望；一个民族只是关心脚下的事情，注定没有未来。
黑格尔
生命被分割成一个一个的阶段，走过了后，回忆都温暖起来，即使心里有一个黑色的大洞。也想，其实这样可以透风。
寂地
我希望她和我一样，胸中有血，心头有伤。不要什么花好月圆，不要什么笛短箫长。要穷，穷得象茶，苦中一缕清香。要傲，傲得象兰，高挂一脸秋霜。
舒婷
你不能为别人而活。你必须做对自己正确的事，即使这会伤害你爱的一些人。
"You can't live your life for other people. You've got to do what's right for you, even if it hurts some people you love."
莎拉·德森
学习当然是好事，每个人和每件事都可以教人一些东西。
姚明
不仅要知道，而且要使用；光有希望是不够的。你必须去做。
李小龙
我说小雏菊都闭上了昏昏欲睡的眼睛，你说夜来香又开放了层层迭迭的心。我说这是一个生机勃勃的暮春，你说这是一个诱人沉醉的黄昏。
舒婷
Football is not just a sport，but also a revolutionary tool。
切格瓦拉
一切都是可以改变的，不可能只有庸人的词典里才有。
拿破仑
晏子对曰：明其教令，而先之以行义；养民不苛，而防止以刑僻；所求于下者，不务于上；所禁于民者，不行于身。
晏子春秋
晏子
他对某人的信赖，他那真挚的爱，曾经遭受过严重的背叛，让他再也不敢放胆去爱了。在我与猫相知，一辈子跟猫共处的岁月中，最终沉淀在我心中的，却是一种幽幽的哀伤，那跟人类所引起的伤感并不一样：我不仅为猫族无助的处境感到悲痛，同时也对我们人类全体的行为而感到内疚不已。
多丽丝·莱辛
每个角色都有一个灵魂，我的工作就是把它带到生活中。
Every character has a soul, and it's my job to bring it to life.
全度妍
人生并非”偶然“的连续，好事坏事交替而来才是人生。年轻的朋友们，你们代表将来的时代。遇到挫折时请不要颓丧，痛苦的时候要坚持奋斗，奋斗必有硕果，奋斗使你的人生更加多彩，使你的人格更加高尚。
稻盛和夫
The elements of consciousness are to be isolated by experimental means.
意识的元素要通过实验手段来分离。
爱德华·铁钦纳
儿童教育是人类最重要的一个问题。
蒙台梭利
什么是对你最重要的——你缺的。
冯晓强
势易尽者若冰山，事相悬者如天壤。晨星谓贤人寥落，雷同谓言语相符。
程登吉
一个内心强大的人，即使身处逆境，内心也是平和的。他有独有的内心世界，享受着他人无法理解的安宁与快乐。
季羡林
艺术作品是艺术家与其材料之间斗争的结果。
The work of art is the result of a struggle between the artist and his material.
西奥多·阿多诺