Visualization of Formal Specifications. - Soon-Kyeong Kim; David A. Carrington (APSEC, 1999)

Formalizing the UML Class Diagram Using Object-Z. - Soon-Kyeong Kim; David A. Carrington (UML, 1999)

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2000)

A Formal Mapping between UML Models and Object-Z Specifications. - Soon-Kyeong Kim; David A. Carrington (ZB, 2000)

A Metamodel-based transformation between UML and Object-Z. - Soon-Kyeong Kim; David A. Carrington; Roger Duke (HCC, 2001)

A formal denotational semantics of UML in Object-Z. - Soon-Kyeong Kim; David A. Carrington (Obj. Logiciel Base données Réseaux, 2001)

A metamodel-based approach to integrate object-oriented graphical and formal specification techniques - Soon-Kyeong Kim (2001)

Integrating Use-Case Analysis and Task Analysis for Interactive Systems. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2002)

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. - Soon-Kyeong Kim; David A. Carrington (ICFEM, 2002)

A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. - Soon-Kyeong Kim; David A. Carrington (ZB, 2002)

Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2004)

A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. - Soon-Kyeong Kim; David A. Carrington (Australian Software Engineering Conference, 2004)

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. - Soon-Kyeong Kim; Luke Wildman; Roger Duke (Australian Software Engineering Conference, 2005)

An MDA Approach Towards Integrating Formal and Informal Modeling Languages. - Soon-Kyeong Kim; Damian Burger; David A. Carrington (FM, 2005)

A Rigorous Foundation for Pattern-Based Design Models. - Soon-Kyeong Kim; David A. Carrington (ZB, 2005)

A Pattern based Model Evolution Approach. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2006)

Verifying Metamodel Coverage of Model Transformations. - Junhua Wang; Soon-Kyeong Kim; David A. Carrington (ASWEC, 2006)

A Tool for a Formal Pattern Modeling Language. - Soon-Kyeong Kim; David A. Carrington (ICFEM, 2006)

MDA-Based Re-engineering with Object-Z. - Jörn Guy Süß; Tim McComb; Soon-Kyeong Kim; Luke Wildman; Geoffrey Watson (MoDELS, 2006)

Automatic Generation of Test Models for Model Transformations. - Junhua Wang; Soon-Kyeong Kim; David A. Carrington (Australian Software Engineering Conference, 2008)

A formalism to describe design patterns based on role concepts. - Soon-Kyeong Kim; David A. Carrington (Formal Aspects Comput., 2009)

Execution of natural language requirements using State Machines synthesised from Behavior Trees. - Soon-Kyeong Kim; Toby Myers; Marc-Florian Wendland; Peter A. Lindsay (J. Syst. Softw., 2012)