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 × USA
Collaborated with:
R.B.France I.Ray E.Song H.Kim B.Combemale S.Derrien
Talks about:
model (4) contract (2) awar (2) substitut (1) properti (1) approach (1) support (1) orient (1) aspect (1) verif (1)

Person: Wuliang Sun

DBLP DBLP: Sun:Wuliang

Contributed to:

ECMFA 20132013
MoDELS 20132013
SAC 20092009

Wrote 3 papers:

ECMFA-2013-SunCDF #using
Using Model Types to Support Contract-Aware Model Substitutability (WS, BC, SD, RBF), pp. 118–133.
MoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
SAC-2009-SongKS #approach #aspect-oriented #modelling #verification
A property-based verification approach in aspect-oriented modeling (ES, HK, WS), pp. 545–546.

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.