欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
所属机构名称:中国人民解放军国防科学技术大学
会议名称:Proc. of 7th Working IEEE/IFIP Conference on SA
成果类型:会议
相关项目:多Agent系统软件体系结构的基础理论和关键技术研究
作者:
毛新军|Zhiming Chang|
同会议论文项目
多Agent系统软件体系结构的基础理论和关键技术研究
期刊论文 20
会议论文 8
获奖 4
同项目会议论文
SADE: A Development Environment for Adaptive Multi-Agent Systems
Integrating Model Transformation in Agent-Oriented Software Engineering
SADE: A Development Environment for Adaptive Multi-Agent Systems
A Model-Driven Approach for Developing Self-adaptive Multi-Agent Systems
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph
Integrating Model Transformation in Agent-Oriented Software Engineering
Engineering Adaptive Multi-agent Systems with ODAM Methodology