"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
Love changes everything.
爱改变一切。
凯特·迪卡米洛
险夷原不滞胸中，何异浮云过太空？夜静海涛三万里，月明飞锡下天风。
王阳明
爱并非毫无价值。它源于天性，是一种必须。爱的欲望该得到哺育，痛苦该去品尝，蠢行该去实践。
赫尔曼·黑塞
哲学问题的解决往往在于问题的消解而非答案的给出。
张志林
我曾给过你闭上眼睛捂起耳朵的信任，就算全世界都说你有错，只要你否认，我就相信。
佚名
世间万物无一不在诉说着其自身的消逝，从最巍峨的宫殿至最卑微的苔藓。
爱伦·坡
经济发展中的政府与市场关系，不是非此即彼，而是相辅相成。
林毅夫
绰号是人脸上的疤，难看。但没绰号，像部队里的小战士，没职务，再好看也是没人看的，没斤量的。
麦家
许多国王疯狂地保留了大量经过仔细雕琢的石头，希望使自己永恒。假如他们用这些心思来雕琢他们的心思，将会怎样呢？
梭罗
如果教师意识到心理过程的质量，而不是正确答案的产生，是教育成长的标准，那么教育教学将发生几乎革命性的变化。
杜威
The real romance is out ahead and yet to come. The computer revolution hasn't started yet. Don't be misled by the enormous flow of money into bad defacto standards for unsophisticated buyers using poor adaptations of incomplete ideas.
真正的浪漫还在前方，尚未到来。计算机革命还没有开始。不要被大量资金流入不良的事实标准所误导，这些标准是为不成熟的买家使用不完整想法的糟糕改编。
艾伦·凯
兄弟姐妹很少，钱也不多，到了这步田地还能做些什么呢？想尽一切办法活下去！
乔治·索罗斯
You think when you wake up in the mornin yesterday don't count. But yesterday is all that does count. What else is there? Your life is made out of the days it's made out of. Nothin else.
你以为早上醒来昨天就不算数了。但昨天才是真正算数的。还有什么呢？你的生命就是由那些日子组成的。没有别的。
科马克·麦卡锡
有的人想睡觉，并、但不是因为困倦，而是出于对睡觉的怀念。
加西亚·马尔克斯
The beauty of biology lies in its complexity and the elegance of its solutions.
生物学的美在于它的复杂性和解决方案的优雅。
阿登·帕塔普蒂安
人住进房子里，乃是地面上的悲哀景象。
萩原朔太郎
在艺术作品中，最富有意义的部分即技巧以外的个性。
林语堂
照片在教导我们新的视觉准则的同时，也改变并扩大我们对什么才值得看和我们有权利去看什么的观念。
苏珊·桑塔格
整体是虚假的。
The whole is the false.
西奥多·阿多诺