微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2004年
10期
51-54,59
,共5页
冯刚%边根庆%侯义斌%卢三元
馮剛%邊根慶%侯義斌%盧三元
풍강%변근경%후의빈%로삼원
软件体系结构%CDT模型%同态重用
軟件體繫結構%CDT模型%同態重用
연건체계결구%CDT모형%동태중용
文章采用以范畴理论为基础的CDT(范畴数据类型)模型给出了体系结构的形式化定义,在此基础上对软件体系结构的重用进行了理论分析与探讨,这为软件体系结构的进一步研究提供了坚实的理论基础.
文章採用以範疇理論為基礎的CDT(範疇數據類型)模型給齣瞭體繫結構的形式化定義,在此基礎上對軟件體繫結構的重用進行瞭理論分析與探討,這為軟件體繫結構的進一步研究提供瞭堅實的理論基礎.
문장채용이범주이론위기출적CDT(범주수거류형)모형급출료체계결구적형식화정의,재차기출상대연건체계결구적중용진행료이론분석여탐토,저위연건체계결구적진일보연구제공료견실적이론기출.