Travelled to:1 × Latvia
1 × Norway
1 × Republic of China
3 × USA
Collaborated with:L.Shan B.Zhou ∅ J.Xu D.Liu I.Bayley P.A.V.Hall J.H.R.May B.Yu L.Kong Y.Zhang X.Mao Z.Chang J.Wang
Talks about:specif (3) agent (3) softwar (2) algebra (2) model (2) test (2) constraint (1) distribut (1) casteship (1) behaviour (1)
Person: Hong Zhu
DBLP: Zhu:Hong
Contributed to:
2013
2008
20082006200519961994Wrote 8 papers:
- PDP-2013-LiuZB #algebra #case study #in the cloud #specification
- A Case Study on Algebraic Specification of Cloud Computing (DL, HZ, IB), pp. 269–273.
- ICST-2008-YuKZZ #algebra #component #java #specification #testing
- Testing Java Components based on Algebraic Specifications (BY, LK, YZ, HZ), pp. 190–199.
- SEKE-2008-ZhouZ #distributed #programming #virtual machine
- A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
- SEKE-2006-MaoCSZW #adaptation #design #modelling
- The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents (XM, ZC, LS, HZ, JW), pp. 639–644.
- SEKE-2006-ShanZ #consistency #constraints #modelling #specification
- Specifying Consistency Constraints for Modelling Languages (LS, HZ), pp. 578–583.
- SEKE-2005-Zhu #behaviour #multi #reasoning
- Formal Reasoning about Emergent Behaviours of Multi-Agent Systems (HZ), pp. 280–285.
- SEKE-1996-XuZ #analysis #automation #problem #requirements #specification
- Requirements Analysis and Specification as a Problem of Software Automation (JX, HZ), pp. 457–464.
- SEKE-1994-ZhuHM #information management #testing
- Knowledge engineering helps testing protection software (HZ, PAVH, JHRM), pp. 116–123.