仍然是正確的。 > 我認為構建軟體的難點在於這個概念構造的規範、設計和測試,而不是表達它和測試表達的真實性所需的勞動。(沒有銀彈)