軟件構造複習（3）

文章目錄 一、數據類型與類型檢驗 1、數據類型 2、類型檢查 3、可變數據類型和不可變數據類型 4、Snapshot圖 5、複雜數據類型 6、不可變數據類型例子 二、設計規約 1.規約作用 2、行爲等價性 3、spec構成 4、設計spec 三、ADT 1、opertations 2、表示獨立性 3、測試 4、RI,AF 5、撰寫 四、OOP 1、Interface接口 2、繼承inheritan

>>阅读原文<<