Travelled to:1 × Canada
1 × China
1 × Israel
1 × Portugal
Collaborated with:J.Zhao X.Li X.Fan D.Xu L.Wang C.Meng Y.Pei Y.Wang B.Li J.Pang M.Zha X.Yu Y.Zhang T.Zhang X.Qiu B.Lei J.Yuan
Talks about:approach (2) softwar (2) base (2) scenario (1) calculus (1) behavior (1) program (1) inherit (1) generat (1) diagram (1)
Person: Guoliang Zheng
DBLP: Zheng:Guoliang
Contributed to:
2007
2006
2001
1999Wrote 5 papers:
- ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
- Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
- AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification
- Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
- UML-2001-XuandongMYJG #analysis #diagrams #process #uml
- Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.
- TOOLS-ASIA-1999-FanXZ #behaviour #inheritance #reasoning
- Reasoning about Inheritance and Cloning Behaviors of Software Agents (XF, DX, GZ), pp. 77–82.
- TOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method #refinement
- A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.