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 × France
2 × The Netherlands
Collaborated with:
S.Khurshid D.E.Perry
Talks about:
parallel (2) semant (2) chang (2) lightweight (1) exploratori (1) increment (1) interfer (1) conflict (1) approach (1) method (1)

Person: Danhua Shao

DBLP DBLP: Shao:Danhua

Contributed to:

ESEC/FSE 20092009
FM 20092009
ICSM 20072007

Wrote 3 papers:

ESEC-FSE-2009-ShaoKP #named #parallel #semantics
SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
ICSM-2007-ShaoKP #detection #empirical #evaluation #parallel #semantics
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.

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.