| 2008 |
|---|
| 19 | EE | Junhua Wang,
Soon-Kyeong Kim,
David A. Carrington:
Automatic Generation of Test Models for Model Transformations.
Australian Software Engineering Conference 2008: 432-440 |
| 2006 |
|---|
| 18 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Pattern based Model Evolution Approach.
APSEC 2006: 217-224 |
| 17 | EE | Junhua Wang,
Soon-Kyeong Kim,
David A. Carrington:
Verifying Metamodel Coverage of Model Transformations.
ASWEC 2006: 270-282 |
| 16 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Tool for a Formal Pattern Modeling Language.
ICFEM 2006: 568-587 |
| 15 | EE | Jörn Guy Süß,
Tim McComb,
Soon-Kyeong Kim,
Luke Wildman,
Geoffrey Watson:
MDA-Based Re-engineering with Object-Z.
MoDELS 2006: 291-305 |
| 2005 |
|---|
| 14 | EE | Soon-Kyeong Kim,
Luke Wildman,
Roger Duke:
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.
Australian Software Engineering Conference 2005: 100-109 |
| 13 | EE | Soon-Kyeong Kim,
Damian Burger,
David A. Carrington:
An MDA Approach Towards Integrating Formal and Informal Modeling Languages.
FM 2005: 448-464 |
| 12 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Rigorous Foundation for Pattern-Based Design Models.
ZB 2005: 242-261 |
| 2004 |
|---|
| 11 | EE | Soon-Kyeong Kim,
David A. Carrington:
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.
APSEC 2004: 257-264 |
| 10 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models.
Australian Software Engineering Conference 2004: 87-95 |
| 2002 |
|---|
| 9 | EE | Soon-Kyeong Kim,
David A. Carrington:
Integrating Use-Case Analysis and Task Analysis for Interactive Systems.
APSEC 2002: 12-21 |
| 8 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.
ICFEM 2002: 548-560 |
| 7 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.
ZB 2002: 497-516 |
| 2001 |
|---|
| 6 | EE | Soon-Kyeong Kim,
David A. Carrington,
Roger Duke:
A Metamodel-based transformation between UML and Object-Z.
HCC 2001: 112-119 |
| 5 | | Soon-Kyeong Kim,
David A. Carrington:
A formal denotational semantics of UML in Object-Z.
L'OBJET 7(1): (2001) |
| 2000 |
|---|
| 4 | EE | Soon-Kyeong Kim,
David A. Carrington:
An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.
APSEC 2000: 240-248 |
| 3 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Formal Mapping between UML Models and Object-Z Specifications.
ZB 2000: 2-21 |
| 1999 |
|---|
| 2 | EE | Soon-Kyeong Kim,
David A. Carrington:
Visualization of Formal Specifications.
APSEC 1999: 102-109 |
| 1 | | Soon-Kyeong Kim,
David A. Carrington:
Formalizing the UML Class Diagram Using Object-Z.
UML 1999: 83-98 |
