Travelled to:1 × Canada
1 × USA
Collaborated with:X.Mao Z.Qi L.Shan H.Zhu J.Wang
Talks about:model (2) architectur (1) reconfigur (1) casteship (1) softwar (1) bigraph (1) toward (1) mechan (1) formal (1) design (1)
Person: Zhiming Chang
DBLP: Chang:Zhiming
Contributed to:
2008
2006Wrote 2 papers:
- WICSA-2008-ChangMQ #architecture #configuration management #formal method #graph #towards
- Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs (ZC, XM, ZQ), pp. 331–334.
- SEKE-2006-MaoCSZW #adaptation #design #modelling
- The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents (XM, ZC, LS, HZ, JW), pp. 639–644.