BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhu:Hong

Contributed to:

PDP 20132013
ICST 20082008
SEKE 20082008
SEKE 20062006
SEKE 20052005
SEKE 19961996
SEKE 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.