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 × China
1 × France
2 × USA
Collaborated with:
E.J.Younger K.H.Bennett T.M.Bull W.Liu
Talks about:
program (3) concurr (3) revers (3) formal (3) model (3) engin (3) analysi (2) use (2) transform (1) system (1)

Person: Z. Luo

DBLP DBLP: Luo:Z=

Contributed to:

ICSM 20001997
TOOLS Asia 19981998
ICSM 19961996
WCRE 19961996
ICSM 19951995

Wrote 5 papers:

ICSM-2000-YoungerBL #concurrent #refinement #source code
A Formal Transformation and Refinement Method for Concurrent Programs (EJY, KHB, ZL), p. 287–?.
TOOLS-ASIA-1998-LuoL #modelling
Object and Role Models Viewing (ZL, WL), pp. 43–52.
ICSM-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 255–264.
WCRE-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 239–248.
ICSM-1995-BullYBL #named #reverse engineering #safety
Bylands: reverse engineering safety-critical systems (TMB, EJY, KHB, ZL), pp. 358–366.
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.