讀書筆記—敏捷式軟體開發 (Agile Software Development)

標籤：des   io   os   for   sp   c   on   cti   r   

OCP：open-closed principle 不可修改 可擴充

LSP: liskov substitute principle For a function,a subtype must be able to substitute its base type

一個模型，如果孤立地看，並不具有真正意義上的有效性。

OOD中Is_a關係是就行為方式的，行為方式是可以合理假設的，是客戶程式所依賴的。

DBC design by contract 通過contract來獲悉可以依賴的行為方式。contract是通過為每個方法聲明的preconditions和postconditions來指定的，要使一個方法得以執行，preconditions必須要為真，執行完畢後，該方法要保證postconditions為真。

讀書筆記—敏捷式軟體開發 (Agile Software Development)