高阶多型π演算相关硕士博士期刊学术论文 - 搜论网

高阶多型π演算相关论文

一种面向自适应软件系统的体系结构描述语言

从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,......

期刊

软件体系结构自适应体系结构描述语言动态行为高阶多型π演算 software architecture self-adaptive ADL dyna

一种形式化的动态体系结构描述语言

描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL（dynamic architect......

期刊

软件体系结构 ADL 构件高阶多型π演算动态行为

看过本文同时还关注