系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The only true happiness comes from squandering ourselves for a purpose.
唯一的真正幸福来自于为一个目标挥霍自己。
普吕多姆
文学永远是一场通往真理的远征。
"La literatura es siempre una expedición a la verdad."
费尔南多·巴列霍
苦乐全凭自已判断，这和客观环境并不一定有直接关系，正如一个不爱珠宝的女人，即使置身在极其重视虚荣的环境，也无伤她的自尊。拥有万卷书的穷书生，并不想去和百万富翁交换钻石或股票。满足于田园生活的人也并不艳羡任何学者的荣誉头衔，或高官厚禄。
史铁生
人们还往往把真理和错误混在一起去教人，而坚持的却是错误。
歌德
讲师在讲堂上骂学生，学生不能回嘴，背后骂讲师，讲师也不会知道。
钱钟书
在全球化背景下，中国经济的发展必须坚持自主创新，增强核心竞争力。
刘国光
愤怒本身就是一种惩罚。
埃里克·乔根森
Psychology should help us understand how we meet life's challenges.
心理学应帮助我们理解如何应对生活的挑战。
马克斯·维斯塔潘
故明主之治国也，明赏，则民劝功；严刑，则民亲法。
韩非子
挚友惜日短。
吉姆·罗杰斯
产业链的完善比单一技术的突破更重要。
高永岗
鸦路不可越，三十六渡溪。有物饮碧水，高林挂青蜺。历览道更险，驱使迹频暌。视听易常主，心魂互相迷。浪石忽摇动，沙堤信难跻。危峰紫霄外，古木浮云齐。出阻望汝郡，大贤多招携。疲马恋旧秣，羁禽思故栖。应怜泣楚玉，弃置如尘泥。
孟郊
生活，生活中没有幸福。生活就是：扛着痛苦的”我”穿行世间。而存在，存在即幸福。存在就是：变成一口井，一个石槽，宇宙万物像温暖的雨水，倾落其中。
米兰·昆德拉
男人和女人都一样，都被同样的激情所驱使。
皮埃尔·培尔
爱是苛求的，因为苛求而短暂；友谊是宽容的，因为宽容而长久。
周国平
领导全心协力投入热诚，是企业最大的鼓动力。与员工互动沟通，对同事尊重，才可建立团队精神。人才难求，对具备创意胆识及谨慎态度的同事，应给予良好的报酬和显示明确的前途。
鲁迅
我年轻时研究过，在其中我获得了一种启示：媒介的形式偏好某些特殊的内容，从而能最终控制文化。
尼尔·波兹曼
汝妻子吾自养之，汝勿虑也。
曹操
魂魄离散，汝筮予之。
屈原