3-2設計規約

一.程序設計語言2中的函數/方法。 規範：通信編程 爲什麼需要規範 行爲等價 規範結構：先決條件和後決條件 測試 驗證規範 3.設計規範 分類規範 圖表規範 質量規範 4.摘要總結 本次講座的目的 ▪ 瞭解方法規範中的先決條件和後決條件，並能寫出正確的規範 ▪ 什麼是前置條件和後置條件，它們對方法的實現者和客戶機意味着什麼 ▪ 瞭解不確定的規格，能夠識別和評估不確定性 ▪ 理解聲明性規範和操作性規

>>阅读原文<<