位置：成果数据库 > 会议 > 会议详情页
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 9th International Conference for Young Compute
  • 成果类型：会议
  • 会场：张家界
  • 相关项目：多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
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
Integrating Model Transformation in Agent-Oriented Software Engineering
Engineering Adaptive Multi-agent Systems with ODAM Methodology