HIT 軟件構造 設計規約

一個完整的方法 方法的規約 方法的實現 Specification: Programming for communication specification 輸入/輸出的數據類型 功能和正確性 性能 只講「能做什麼」，不講「怎麼實現」 behavioral equivalence（行爲等價性） 站在客戶端角度看行爲等價性 根據規約判斷行爲是否等價 兩個函數符合這個規約，故它們等價 規約結構（前置條

>>阅读原文<<