來自MIT6.031 軟件構造課的Reading材料的第7篇。
- Spec重點：
-
- 是否具有確定性，即，給出的是確定的postcondition，還是衆多可能性中的一種
-
- 描述性多強，是說明了所有的步驟，還是隻給出結果和輸出與輸入的關係
-
- 強壯性多高，postcondition和precondition的強度。
- 優秀的spec，應該有更好的確定性，能夠最精確地指明方法的結果，有較低的描述性，只描述結果，結果與輸入的關係，不向用戶泄漏編碼的技術細節。更強壯，能夠減少對用戶的要求，增加對開發者（postcondition）的要求
- 簡單介紹了 訪問控制權限 和 靜態方法與實例方法的區別
具體內容及筆記見下圖，筆記主要以手寫方式提供。
