 | 2009 |
|---|
| 5 |       | Menggao Dong,
XinJun Mao,
Junwen Yin,
Zhiming Chang,
Zhichang Qi:
SADE: A Development Environment for Adaptive Multi-Agent Systems.
PRIMA 2009: 516-524 |
| 2008 |
|---|
| 4 | | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.
ICYCS 2008: 118-123 |
| 3 | | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.
WICSA 2008: 331-334 |
| 2007 |
|---|
| 2 | | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.
TASE 2007: 57-66 |
| 2006 |
|---|
| 1 |  | XinJun Mao,
Zhiming Chang,
Lijun Shan,
Hong Zhu,
Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
SEKE 2006: 639-644 |
Data released under the ODC-BY 1.0 license — See also our legal information page