Please enable JavaScript.
Coggle requires JavaScript to display documents.
製作系統循序圖及撰寫合約 - Coggle Diagram
製作系統循序圖及撰寫合約
-
撰寫系統操作之合約
合約的組成
-
-
後置條件post-conditions:合約中最重要的部分,操作執行後之系統條件(描述領域模型中的物件如何從某個狀態改變到另一個狀態,狀態的改變包括建立新的實例、兩個實例的關聯形成或中斷、更改屬性質)
-
-
-
-
合約設計(DBC,Design by Contract):前置條件pre-conditions、後製條件post-conditions來描述物件的操作。使用前置條件和後置條件的方法來描述系統操作細部行為得工具就是合約contract
-
-