"

成功验证的关键是从系统应该做什么的清晰和精确的规范开始。

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： "The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
🏷️ 标签： 成功 什么 应该 开始 清晰 关键 系统
💬 推荐名言 19句推荐
有些人的好，就像埋在地下的酒，总是要经过很久的时间，在他们离开之后，才被人知道，而饮酒的人只能一个人寂寞独饮至天明。
刘同 刘同
青年作者
乔布斯生性就喜欢误导人，或者有时候故作神秘，只要他觉得有理由。而另一方面，他有时也会诚实得近乎残忍，讲出那些我们大多会粉饰或隐瞒的事实。撒谎和实话实说都只是他那尼采式的人生态度的两个侧面。一般规律对他不适用。
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
社会不是物理意义上的拼接产物，而是由看不见的公共思想凝结而成。如果这些结合太过松散，社会成员就会相互疏离。公共道德是束缚的一部分，束缚是社会代价的一部分。人类如果需要社会，就必须付出代价。
罗翔 罗翔
中国政法大学刑事司法学院教授
人生境遇无常，须自谋取一吃饭本领；人生光阴易逝，要早定一成器日期。
王永彬 王永彬
清代学者
"Every story is a journey, and every journey changes us."
埃尔韦·勒泰利耶 埃尔韦·勒泰利耶
科幻与文学结合的独特风格
在暴风雨中，我们诞生；在暴风雨中，我们成长。
光未然 光未然
现代诗人、剧作家，左翼文化运动骨干
真正的尊重有时是反潮流的，甚至是需要冒险的。
罗翔 罗翔
中国政法大学刑事司法学院教授
相信你自己的思想，相信你内心深处认为是正确的，对所有的人也是正确的——那就是天才。
爱默生 爱默生
美国文化精神的代表人物
首先，鼓励要抓准时机，在孩子做对事情，做好事情的一刹那，及时送到位。错过了这个兴奋点，就无效了。其次，鼓励得恰如其分，不能滥夸，不是孩子的优点、进步，你冲到前面去表扬，大家反而觉得挺恶心人的。
王金战 王金战
全国优秀教师
世界上大事情可以随便应付，偏是小事倒丝毫假借不了，譬如贪官污吏，纳贿几千万，却绝不肯偷别人的钱。
钱钟书 钱钟书
与饶宗颐并称“南饶北钱”
假如我是一朵雪花，翩翩的在半空里潇洒，我一定认清我的方向。飞扬，飞扬，飞扬，这地面上有我的方向。
徐志摩 徐志摩
中国著名的新月派现代诗人
酒有难悬之色，花有独蕴之香。以此想红颜媚骨，便可得之格外。
陈继儒 陈继儒
中国明代著名画家、书法家、文学家
虽然我们从事的是创新的事业，但我们却愿意成为这个行业里的传统守护者。创新是指手段，保守是指价值。立足传统，心平气和，用好的方法讲好的故事，传播传统文化和主流价值观，不博眼球，不哗众取宠。希望能够达成创新和保守这对看似矛盾的概念的完美统一。
丁磊 丁磊
网易公司创始人
改变自己，首要改变的是思维方式，你的思维方式铸就了你今天的样子。
博多·舍费尔 博多·舍费尔
《小狗钱钱 》作者
爱是盲目的，但婚姻是睁着眼睛的。
托马斯·哈代 托马斯·哈代
英国诗人、小说家
人生没有白走的路，每一步都算数，那些让我们痛哭流涕的时刻，终会成为我们最坚实的铠甲。
廖恒 廖恒
前《环球时报》特约记者
写作的艺术是发现你相信什么的艺术。
雪莉·哈泽德 雪莉·哈泽德
深刻探讨人性与历史
科学研究的价值在于它对社会的贡献，而不仅仅是论文的数量。
王选 王选
汉字激光照排系统发明者
埃里森回忆说，自己的回答几乎是在发牢骚：“好吧，我可能不需要这钱，但为什么要把嫌钱的机会送给那些富达的基金经理？为什么要让别人思线赚了？为什么不能咱们自己赚？” 乔布斯回答说：“我想如果我回到苹果，但不持有苹果的股份，而你也不特有苹果的股份，那么我就会占据道德高地。”
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行