成功驗(yàn)證的關(guān)鍵是從系統(tǒng)應(yīng)該做什么的清晰和精確的規(guī)范開(kāi)始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
當(dāng)政治、教育與新聞都成了表演,真理就失去了舞臺(tái)。
建筑應(yīng)該挑戰(zhàn)現(xiàn)狀。
我從不回頭,永遠(yuǎn)向前看。
The quality of an organization's perseverance determines the quality of its achievement.
國(guó)際體系的無(wú)政府性質(zhì)迫使各國(guó)將自身生存置于一切之上。