毛新军 蒋艳凰 王戟 杨学军 周海芳 齐治昌 王怀民

网构软件 软件体系结构 形式化方法 Caste Bigraph DAgent Bigraph反应系统 面向Agent软件工程 动态绑定关系 平滑算子 软构件 图像分割 EBDI结构 构件 操作语义 Agent理论和技术 自适应软件 基于Agent系统 过度分割 流域变换 多Agent系统

国防科学技术大学计算机学院 湖南长沙 国防科技大学计算机学院