"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
Believe in yourself and all that you are.
相信自己，相信你所拥有的一切。
瑞奇·马丁
家庭教育与学校教育有很大的不同，家庭教育是在生活中进行的，“身教胜于言传”。而且，家庭教育和社会教育的时间更长、空间更大，其中的变化因素也更多、更复杂，因此，家庭教育和社会教育更需要教育的智慧 。
朱永新
我们天性中最优美的品格，好比果实上的粉霜一样，是只能轻手轻脚，才得保全的。
梭罗
"The pursuit of knowledge is the most noble of endeavors."
追求知识是最崇高的努力。
约翰·史密斯
错误同真理的关系，就像睡梦同清醒的关系一样。一个人从错误中醒来，就会以新的力量走向真理。
歌德
忧虑应促使我们行动，而不是消沉。
毕达哥拉斯
是时代匿名的时候了/是诗歌泄露天机的时候了/是时候了
北岛
晴丝牵绪乱，对沧江斜日，花飞人远。垂杨暗吴苑，正旗亭烟冷，河桥风暖。兰情蕙盼，惹相思、春根酒畔。又争知、吟骨萦消，渐把旧衫重剪。凄断流红千浪，缺月孤楼，总难留燕。歌尘凝扇，待凭信，拌分钿。试挑灯欲写，还依不忍，笺幅偷和泪卷。寄残云剩雨蓬莱，也应梦见。
吴文英
走呵！即或走不到，人生不过是这么一回事。
冰心
Success is not final, failure is not fatal: it is the courage to continue that counts.
成功不是终点，失败也并非致命，重要的是继续前进的勇气。
维基·霍鲁布
外受傅训，入奉母仪。
周兴嗣
Moral malnutrition and mental poisoning do harm to people's mind, just as physical malnutrition does harm to health.
道德的营养不良和精神的中毒对人的心灵的危害，正如身体的营养不良对于身体健康的危害一样。
蒙台梭利
每当你无法选择走哪条路时，选择那条能带来改变的路。
凯文·凯利
凡不是就着泪水吃过面包的人是不懂得人生之味的人。
歌德
人生本来如此：喜欢的事自然可以坚持，不喜欢的怎么也长久不了。
村上春树
对于巴黎，我是个外国人，但我认为，巴黎真正的象征不是爱菲尔铁塔，不是卢浮官，是先贤祠。它是巴黎乃至整个法国的灵魂。只有来到先贤祠，我们才会真正触摸到法兰西的民族性，它的气质，它的根本，以及它内在的美。
冯骥才
我们体内有一种维护自我评价的东西。对好结果我们感到有功劳，对坏结果却不感到有责任。
塔勒布
我不忍看了你的快乐，更形成我的凄清！别了！人生聚散，本是常事，无论怎样，我们总有藏着泪珠撒手的一日。
张爱玲
时人欲去。
苏轼