Travelled to:1 × Portugal
1 × USA
Collaborated with:N.V.Roberts P.C.Grabow H.Kim W.Sun G.Straw G.Georg S.Ghosh R.B.France J.M.Bieman
Talks about:model (3) properti (1) interfac (1) composit (1) approach (1) orient (1) oblivi (1) direct (1) aspect (1) verif (1)
Person: Eunjee Song
DBLP: Song:Eunjee
Contributed to:
2009
2004Wrote 3 papers:
- SAC-2009-RobertsSG #interface
- Model interfaces for two-way obliviousness (NVR, ES, PCG), pp. 488–495.
- SAC-2009-SongKS #approach #aspect-oriented #modelling #verification
- A property-based verification approach in aspect-oriented modeling (ES, HK, WS), pp. 545–546.
- UML-2004-StrawGSFB #composition
- Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.