操作契約用來定義系統行為，根據領域模型中的物件狀態變化詳細描繪系統的行為；
用例是描述系統行為的模型，但是如果用例沒有描述清楚，則在操作契約中補充。
一般乙個用例有多個操作，乙個操作需要乙個操作契約，
比如：ssd中有幾個向右的箭頭，就需要幾個操作契約。
不需要每個操作都寫契約，只需要把可能狀態會改變或不清晰的操作寫清即可；
operation： namecross reference：此操作所屬用例的名字
precondition：在執行此操作前領域模型的物件的狀態
postcondition：物件狀態的變化
postcondition中可以寫：
(1)例項的建立；
(2)關聯的形成；
(3)屬性的修改；
軟體工程之操作契約
操作契約用來定義系統行為，根據領域模型中的物件狀態變化詳細描繪系統的行為 用例是描述系統行為的模型，但是如果用例沒有描述清楚，則在操作契約中補充。一般乙個用例有多個操作，乙個操作需要乙個操作契約，比如 ssd中有幾個向右的箭頭，就需要幾個操作契約。不需要每個操作都寫契約，只需要把可能狀態會改變或不清...
軟體工程之軟體工程管理
乙個好的工程需要配套的管理體系，軟體工程也不列外。軟體工程就我的理解就是對軟體工程的各個階段都一定規範，俗話說 不以規矩，不能成方圓 而這個規矩就由管理來充當。乙個軟體工程管理需要軟體專案計畫 成本估算 進度計畫 風險分析和人員的組織形式 或調動 一 在軟體專案計畫中，專案的任務是研究專案的效能 功...
軟體工程之軟體工程的概述
最近在學軟體工程，但工程分為好多種，那麼怎樣認識這些工程，什麼是軟體？什麼是工程？軟體工程和其他工程的區別又是什麼？軟體 程式設計的最終結果是軟體。軟體是使用者與硬體之間的介面介面。使用者主要是通過軟體與計算機進行交流。軟體是計算機系統設計的重要依據。為了方便使用者，為了使計算機系統具有較高的總體效...