BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Sweden
1 × USA
Collaborated with:
J.Ma M.Jiang M.Zhou Y.Zhou T.Y.Chen F.Kuo Z.Zhou
Talks about:
model (4) system (3) formal (2) mobil (2) test (2) architectur (1) transform (1) metamorph (1) program (1) analysi (1)

Person: Zuohua Ding

DBLP DBLP: Ding:Zuohua

Contributed to:

CASE 20152015
SEKE 20142014
SEKE 20122012
SEKE 20062006

Wrote 4 papers:

CASE-2015-JiangDZZ #formal method #mobile #modelling #verification
Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
SEKE-2014-JiangCKZD #model transformation #source code #testing #using
Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKE-2012-DingM #analysis #fuzzy #modelling
Modeling and Analysis of Switched Fuzzy Systems (ZD, JM), pp. 135–138.
SEKE-2006-Ding #architecture #mobile
A Formal Architectural Model For Mobile Service Systems (ZD), pp. 670–675.

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.