"

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： 成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
💬 推荐名言 18句推荐
"过于伟大或者过于卑微，过于高明或者过于愚蠢，过于奇特或者过于陈旧的话语，都值得怀疑。"
王蒙 王蒙
“人民艺术家”国家荣誉称号获得者
我一直重复同样的事情以求精进，我总是向往能够有所进步。我会继续向上，努力达到巅峰，但没有人知道巅峰在哪里。说这话的人叫小野二郎，一位寿司师傅。握了55年寿司，85岁的他会半夜被灵感惊醒，因为梦里还在想把寿司做得更好。他的"数寄屋桥次郎"简单朴素，却被米其林誉为值得花一辈子排队的店。
季琦 季琦
携程旅行网、如家快捷酒店联合创始人
仰望星空的时刻，绽放的烟花代表了平凡年岁里，生命的愉悦时刻。
张艺谋 张艺谋
“第五代导演”代表人物之一
The method of psychology must be strictly controlled.
爱德华·铁钦纳 爱德华·铁钦纳
构造主义心理学代表
我喜欢人甚于原则，此外我还喜欢没原则的人甚于世界上的一切。
王尔德 王尔德
英国作家、诗人、散文家
每首歌都有自己的旅程。
恩雅 恩雅
新世纪音乐女王，销量破亿
在危险时刻，没有比无为更大的罪过。
丹·布朗 丹·布朗
《达·芬奇密码》作者
何谓享福之才，能读书者便是；何谓创家之人，能教子者便是。
洪应明 洪应明
《菜根谭》作者
蓝盒子的这段奇妙经历为两人之间即将诞生的合作关系建立了一个模板：沃兹尼亚克就是个文雅的天才，创造出一项很酷的发明，然后就算送给别人他也很高兴；而乔布斯会想出怎样让这个发明方便易用的方法，然后把它包装起来，推向市场，赚上一笔
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
俭则金贱，金贱则事不成。
管仲 管仲
春秋时期齐国政治家
在某种意义上说，如果你没有好的想法，也不是问题，因为大多数初创公司无论如何都会改变他们的想法。在平均的Y Combinator初创公司中，我猜测在前三个月结束时，想法中有70%是新的。有时候甚至达到100%。
保罗·格雷厄姆 保罗·格雷厄姆
美国程序员、风险投资家
勇敢的人并不是没有恐惧的人，而是能够克服恐惧的人。
路易斯·巴斯德 路易斯·巴斯德
法国著名的微生物学家
属于人民的人为了的理想而死去，他们牺牲了自己。可是派他们去牺牲的人却为了自己的利益而活着。结果利益比理想的寿命更长。
罗曼·罗兰 罗曼·罗兰
法国思想家、文学家
皈依三宝是平等的精神，因为生佛一如，无高无下；受持五戒是自由的尊重，因为不侵犯人，彼此受益。
星云大师 星云大师
中国台湾佛光山开山宗长
应该强调，不严肃认真的教育，有许多隐患。父母使自己的子女享福太早，是不聪明的。
雨果 雨果
浪漫主义文学的代表作家
电视让形象入心，抽象概念却难留脑海。
尼尔·波兹曼 尼尔·波兹曼
世界著名媒体文化研究者和批评家
人在里面吃饭睡觉谈笑走动如同置身舞台。视野相当开放，内心却紧张，明白意识随时受到外来目光的观看，一举一动都含了演戏成分，生活场面不知不觉沾染了戏剧性，成就感挫折感分外强烈，很多事情都像是特意为不在场的第三者发生的。
王朔 王朔
痞子作家
火到猪头烂，钱到公事办。
李宝嘉 李宝嘉
晚清谴责小说代表作家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行