JavaShuo
欄目
標籤
關於AF, RI, Rep exposure
時間 2021-07-10
原文
原文鏈接
在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實現
相關標籤/搜索
rep
exposure
關於
關於數組
關於此
關於晉升
#####>>>>>【關於我
NoSQL教程
MySQL教程
Hibernate教程
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
「插件」Runner更新Pro版,幫助設計師遠離996
2.
錯誤 707 Could not load file or assembly ‘Newtonsoft.Json, Version=12.0.0.0, Culture=neutral, PublicKe
3.
Jenkins 2018 報告速覽,Kubernetes使用率躍升235%!
4.
TVI-Android技術篇之註解Annotation
5.
android studio啓動項目
6.
Android的ADIL
7.
Android卡頓的檢測及優化方法彙總(線下+線上)
8.
登錄註冊的業務邏輯流程梳理
9.
NDK(1)創建自己的C/C++文件
10.
小菜的系統框架界面設計-你的評估是我的決策
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
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的錯誤解決
>>更多相關文章<<