Travelled to:1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:D.A.Carrington D.Burger J.G.Süß T.McComb L.Wildman G.Watson
Talks about:object (2) formal (2) mda (2) approach (1) languag (1) diagram (1) toward (1) integr (1) inform (1) model (1)
Person: Soon-Kyeong Kim
DBLP: Kim:Soon=Kyeong
Contributed to:
2006
2005
1999Wrote 3 papers:
- MoDELS-2006-SussMKWW #re-engineering
- MDA-Based Re-engineering with Object-Z (JGS, TM, SKK, LW, GW), pp. 291–305.
- FM-2005-KimBC #approach #formal method #modelling #towards
- An MDA Approach Towards Integrating Formal and Informal Modeling Languages (SKK, DB, DAC), pp. 448–464.
- UML-1999-KimC #diagrams #formal method #uml #using
- Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.