JavaShuo
欄目
標籤
AF與RI
時間 2021-01-02
原文
原文鏈接
在研究抽象類型的時候,先思考一下兩個值域之間的關係: 表示域(rep values)裏面包含的是值具體的實現實體。一般情況下ADT的表示比較簡單,有些時候需要複雜表示。 抽象域(A)裏面包含的則是類型設計時支持使用的值。這些值是由表示域「抽象/想象」出來的,也是使用者關注的。 ADT實現者關注表示空間R,用戶關注抽象空間A 。 R->A的映射特點: 每一個抽象值都是由表示值映射而來 ,即滿射:每個
>>阅读原文<<
相關文章
1.
關於AF, RI, Rep exposure
2.
Spec、AF、RI以及Safety from rep exposure的一些體會
3.
ADT的表示獨立性,測試ADT的方法,不變量,RI與AF
4.
RI中的小Bug
5.
Camera AF version 6.0
6.
RDS電臺 TA 與 AF解釋
7.
抽象數據類型及其表示不變量RI、抽象函數AF簡介(哈工大軟件構造)
8.
ISP PIPLINE (十五) AF
9.
自動對焦 AF
10.
(二)RI主程序分析
更多相關文章...
•
XSL-FO 與 XSLT
-
XSL-FO 教程
•
PHP - AJAX 與 PHP
-
PHP教程
•
Composer 安裝與使用
•
Java Agent入門實戰(一)-Instrumentation介紹與使用
相關標籤/搜索
與之
與會
與人
使與
又與
與衆
在與
付與
Hibernate教程
PHP 7 新特性
Redis教程
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
eclipse設置粘貼字符串自動轉義
2.
android客戶端學習-啓動模擬器異常Emulator: failed to initialize HAX: Invalid argument
3.
android.view.InflateException: class com.jpardogo.listbuddies.lib.views.ListBuddiesLayout問題
4.
MYSQL8.0數據庫恢復 MYSQL8.0ibd數據恢復 MYSQL8.0恢復數據庫
5.
你本是一個肉體,是什麼驅使你前行【1】
6.
2018.04.30
7.
2018.04.30
8.
你本是一個肉體,是什麼驅使你前行【3】
9.
你本是一個肉體,是什麼驅使你前行【2】
10.
【資訊】LocalBitcoins達到每週交易比特幣的7年低點
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
1.
關於AF, RI, Rep exposure
2.
Spec、AF、RI以及Safety from rep exposure的一些體會
3.
ADT的表示獨立性,測試ADT的方法,不變量,RI與AF
4.
RI中的小Bug
5.
Camera AF version 6.0
6.
RDS電臺 TA 與 AF解釋
7.
抽象數據類型及其表示不變量RI、抽象函數AF簡介(哈工大軟件構造)
8.
ISP PIPLINE (十五) AF
9.
自動對焦 AF
10.
(二)RI主程序分析
>>更多相關文章<<