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 × 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 DBLP: Zheng:Guoliang

Contributed to:

ECMDA-FA 20072007
Ada-Europe 20062006
UML 20012001
TOOLS Asia 19991999

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

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.