"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
。一个在奋斗途径上努力的人，要是不把步骤分清楚，等于你旅行一个地方，不先规定睡眠和行程一般。分清步骤，是十分重要的。
卡耐基
非分之达，犹林卉之冬华也；守道之穷，犹竹柏之履藉也。
葛洪
我喜欢修指甲，我喜欢打扮，我喜欢哪怕在闲暇时也涂唇膏、穿盛装，我喜欢粉色。
奥黛丽·赫本
别和我谈理想，戒了。
郭德纲
倘使有一双翅膀，我甘愿做人间的飞蛾。我要飞向火热的日球，让我在眼前一阵光.身内一阵热的当儿，失去知觉，而化作一阵烟，一撮灰。
巴金
当心灵的眼睛凝视着被真理和真实照耀着的对象时，心灵就理解了真理，认识了真实，心灵就明确地拥有了智慧。当美的灵魂与美的外表和谐地融为一体，人们就会看到，这是世上最完善的美。
柏拉图
"The only limit to our realization of tomorrow is our doubts of today."
实现明天的唯一限制是我们今天的疑虑。
罗莎·蒙特罗
对小的事情轻视、对大的事情又怀疑的人，他们能做什么呢？
布莱士·帕斯卡
我什么也不否认，但我怀疑一切。
拜伦
在沉默中，我们听到最真实的声音。
In silence, we hear the truest voice.
凯尔泰斯·伊姆雷
文学是一种社会现象，而社会并不是一种文学现象。社会上尚没有完全弄清、完全解决的问题，期待通过文学作品的阅读来得到信念，得到前景，得到路线图，那是不现实的。
王蒙
我和别人没什么两样：总是以理想的眼光看待世界，一位世界会按理想的方式发展，而不会用现实的眼光看待世界，看不到真相。
保罗·科埃略
清朝的皇帝没有暴君，没有昏君也没有怠君。康熙的皇子中，没有不学无术的庸人，也没有胡作非为的纨绔。
阎崇年
谁的情感无法张扬，谁在陌生的房故作勇敢，谁在夜晚害怕腐烂，任呼吸突然变得野蛮，先爱吧把这一副肩膀挡掉一点遗憾，先爱吧看似一双翅膀躲啊躲已经黑暗，先爱吧人们不 懂这样一旦欲求不满，先爱吧之后感伤之后再算，之后再算···
徐志摩
人在福中不知福，直到有一天苦了，才对比出以前的甜。所以甜中总有苦，福中总有祸的人，最能感受幸福。所以，淡淡的君子之交最能长久，若即若离的爱情最堪回味。
刘墉
大自然的繁茂是孤独的，远离着人群居住的乡镇。你侮辱着大地，居然还敢议论天堂。
梭罗
如果你实在没有办法从别人那得到一句赞美，那就自己送自己一句吧。
马克吐温
一个人，必须学习所有重要的学科，掌握其中的所有重要理论。
查理·芒格
时光是有限的，所以不要浪费在别人的生命中。不要让外界意见的噪音淹没自己内心的声音。最重要的是，要有勇气去跟随你的心和直觉，知道自己真正想成为什么样的人，除此之外其他的都是次要的。
史蒂夫·乔布斯