關於AF, RI, Rep exposure
在Lab2的時候開始瞭解，試着去寫每個類的Abstraction function，Representation invariant，Safety from rep exposure，即抽象函數AF，表示不變量RI和防止表示暴露。在進行了兩次實驗多次書寫的體會中，在這裏記錄一下對其的比較通俗的理解 AF： A：抽象值構成的空間，client看到和使用的值。 ADT實現者關注表示空間R，用戶關注抽象
相關文章
- 1. Spec、AF、RI以及Safety from rep exposure的一些體會
- 2. AF與RI
- 3. ADT的表示獨立性，測試ADT的方法，不變量，RI與AF
- 4. 關於表示不變量（Rep invariant）和抽象函數（Abstraction function）
- 5. 抽象數據類型及其表示不變量RI、抽象函數AF簡介（哈工大軟件構造）
- 6. 關於Android Camera的曝光補償（Exposure Compensation）
- 7. (三)RI中的數據關係
- 8. RI中的小Bug
- 9. Correcting Over-Exposure in Photographs
- 10. 關於IAS REPORT的 REP-3000的錯誤解決
- 更多相關文章...
- • Spring基於Annotation裝配Bean - Spring教程
- • Spring基於XML裝配Bean - Spring教程
- • NewSQL-TiDB相關
- • ☆基於Java Instrument的Agent實現
相關標籤/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
歡迎關注本站公眾號,獲取更多信息
相關文章
- 1. Spec、AF、RI以及Safety from rep exposure的一些體會
- 2. AF與RI
- 3. ADT的表示獨立性，測試ADT的方法，不變量，RI與AF
- 4. 關於表示不變量（Rep invariant）和抽象函數（Abstraction function）
- 5. 抽象數據類型及其表示不變量RI、抽象函數AF簡介（哈工大軟件構造）
- 6. 關於Android Camera的曝光補償（Exposure Compensation）
- 7. (三)RI中的數據關係
- 8. RI中的小Bug
- 9. Correcting Over-Exposure in Photographs
- 10. 關於IAS REPORT的 REP-3000的錯誤解決