Software Construction——規約是啥？規約咋寫？

這裏寫目錄標題 寫在前面 關於規約 如何評價一個規約的質量？ 如何設計出一個好的規約？ 寫在最後 寫在前面 在說規約之前，我們先快速過一遍這兩個東西：方法和說明文檔。 1.方法是啥？ 方法（method）由規約（specification）以及實現體（implementation）兩部分組成的，它可以看作我們學c時寫的函數。（規約是我們後面會提到，它調用方法的人可以看到的說明，實現體就是函數體）。

>>阅读原文<<