"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
女人的世界其实没有多大，就两个人。
孙惠芬
这个世界，有沉沦的痛苦，也有苏醒的欢欣。
舒婷
若与狗奋战，亲手打其落水，则虽用竹竿又在水中从而痛打之，似乎也非已甚。
鲁迅
如果我一直停留在这个梦想（指有一天成为国家队的队员，有一天可以和王治郅一起比赛）的话，恐怕我是不会到现在的。
姚明
所有女人都会变得像她们的母亲一样，这是女人的悲剧。但没有男人变得像他们的父亲，这是男人的悲剧。
奥斯卡·王尔德
骄傲是大多数人对自身的一种评价，虚荣则是希望别人如何评价自己。
简·奥斯汀
只有不幸而生于富贵之家被捧在学里，含在嘴做活宝见烘软了骨头的现代青年，才是很不幸地只配在历史的大轮子下被碾成肉呢！
茅盾
最重要的是理解场所，即场所精神。
The most important thing is to understand the place, the genius loci.
爱德华多·苏托·德·莫拉
早穿皮袄午穿纱，围着火炉吃西瓜。
谚语
我写作不是我有才华，是因为我有感情。
巴金
压力是躲不掉的。一个企业家要耐得住寂寞，耐得住诱惑，还要耐得住压力，耐得住冤枉，外练一层皮，内练一口气，这很重要。武林高手比的是经历了多少磨难，而不是取得过多少成功。
马云
尽管市场、技术变化很快，但任何生意的本质不会变。最终，羊毛还是会出在羊的身上。
熊晓鸽
其实，直到现在我一直都想不通，在卡缅卡的时候，那时候我的年纪还那么小，怎么就可以感受到书里所说的任何东西，全身贯注地进入书里面的情景，感觉就好像是书里所发生的一切都是我亲身经历的，这太神奇了。关键是，从那个时候开始我就可以分辨是非黑白，对美好的事物向往，使我知道什么是我所需要的，什么是我所不需要的。我也可以过滤一些东西，对一些不美好的东西，我懂得疏远和遗忘；对一些美好的事情，我已经开始懂得欣赏和向往，而且态度是绝对的热情。这些美好的东西会被我永远地刻在记忆深处，而且我对于自己的判断力和对美好事物的鉴赏力永远都是充满自信的。
蒲宁
我对自己的要求很低，我活在世上，无非想要明白些道理，遇见些有趣的事。倘若如我愿，我的一生就算成功。为此也要去论是非，否则道理不给你明白有趣的事也不让你遇到。
王小波
男孩默默地走着。他并不后悔。如果明天死去，那一定是因为上帝不愿改变未来。即便如此，他也是在横渡了海峡，在水晶店打过工，了解了沙漠的寂静，看到了法蒂玛的那双眼睛之后才死去的。自从离开家乡，他每一天都过得很充实。如果明天死去，他亲眼见过的事物也比其他牧羊人见过的多得多。为此，他深感自豪。
保罗·科埃略
带着责任感生活，尝试为这个世界带来点有意义的事情，为更高尚的事情做点贡献。这样你会发现生活更加有意义，生命不再枯燥。需要我们去做的事情很多。告诉其他人你的计划，不要鼓吹，也不要自以为是，更不能盲目狂热，那样只会把人们吓跑，当然，你也不要害怕成为榜样，要抓住出头的机会让人们知道你的所作所为。
史蒂夫·乔布斯
孤独的心必是充盈的心，充盈得要流溢出来要冲涌出去，便渴望有人呼应他、收留他、理解他。心灵间的呼唤与呼应、投奔与收留、坦露与理解，那便是心灵解放的号音，是和平的盛典是爱的狂欢。那才是孤独的摆脱，是心灵享有自由的时刻。
史铁生
然而随有战事吃紧战火绵延，他的形象渐渐黯谈，消逝在一个虚幻的世界。代表他声音的点横越来越遥远模糊，汇聚组合而成的词语逐渐失去意义。
加西亚·马尔克斯
对于大型组织来说，一个常见的陷阱是“放之四海而皆准”的决策，它有损速度和创造性。
杰夫·贝索斯