"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你在干什么？我在等待戈多。他什么时候来？我不知道。我是在等待我的戈多，我却真的不知道他会什么时候来。他告诉过我，他会来，让我在这里等他。我答应他，等他。我毫无指望的等着我的戈多，这种等待注定是漫长的，我在深似地狱的没完没了的夜里等待，生怕在哪个没有星光的夜里就会迷失了方向，开始是等待，后来我发现等待成为了习惯。
塞缪尔·贝克特
万事留一线，江湖好相见。
郭德纲
如果我是一本雑志，我就一定要成为号外，因为号外才不会被人随手扔掉，才有保留的价值。
刘德华
唯有老师善读善写，乃能导引学生渐进于善读善写。
叶圣陶
一片雪花含有无数的结晶，一粒结晶又有好多好多的面，每个面都反射着光，所以雪才显着那样的洁白。
梁实秋
Sun don't shine forever.
太阳不会永远闪耀。
50美分
时光流逝，如恒河之水，一去不返；要珍惜你的德行与智慧。
迦梨陀娑
圣人之道，去智去巧。智巧不去，难以为常。
韩非子
即使踏着荆棘，也不觉悲苦;即使有泪可落，亦不是悲凉。
沈从文
品质是乳制品行业的生命线，我们必须以最高的标准要求自己。
黄黎明
英雄和懦夫都会有恐惧，区分二者的反应就知道谁是谁。
奥格·曼狄诺
野店桃花红粉姿，陌头杨柳绿烟丝。
赵孟頫
贝多芬的童年尽管如是悲惨，他对这个时代和消磨这时代的地方，永远保持着一种温柔而凄凉的回忆。
罗曼·罗兰
生活是一次旅行，而不是目的地。
伊莎贝尔·阿连德
如果你希望成功，当以恒心为良友，以经验为参谋，以谨慎为兄弟，以希望为哨兵。
爱迪生
能养成善于静听能力的人，似乎要比任何好性格的人都少见。
卡耐基
密涅瓦的猫头鹰在黄昏起飞。
黑格尔
风后面是风，天空上面是天空，道路前面还是道路。
海子
企业的价值不仅在于盈利，更在于为社会创造价值。
丁焰章