Travelled to:1 × USA
1 × United Kingdom
Collaborated with:G.Dobbie J.Sun L.Groves G.Doux P.Albert G.Barbier J.Cabot M.D.D.Fabro
Talks about:approach (2) platform (1) configur (1) problem (1) verifi (1) eclips (1) applic (1) model (1) solv (1) data (1)
Person: Scott Uk-Jin Lee
DBLP: Lee:Scott_Uk=Jin
Contributed to:
2011
2006Wrote 2 papers:
- ECMFA-2011-DouxABCFL #approach #eclipse #framework #platform #problem
- An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform (GD, PA, GB, JC, MDDF, SUJL), pp. 160–171.
- SEKE-2006-LeeDSG #approach #modelling #verification
- A PVS Approach to Verifying ORA-SS Data Models (SUJL, GD, JS, LG), pp. 126–131.