Soon-Kyeong Kim

22 papers A 1B 1C 7Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2012 J jnl
Execution of natural language requirements using State Machines synthesised from Behavior Trees.
J. Syst. Softw.
Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay
2009 J jnl
A formalism to describe design patterns based on role concepts.
Formal Aspects Comput.
Soon-Kyeong Kim, David A. Carrington
2008 — conf
Automatic Generation of Test Models for Model Transformations.
Australian Software Engineering Conference
Junhua Wang, Soon-Kyeong Kim, David A. Carrington
2006 C conf
A Pattern based Model Evolution Approach.
APSEC
Soon-Kyeong Kim, David A. Carrington
2006 C conf
A Tool for a Formal Pattern Modeling Language.
ICFEM
Soon-Kyeong Kim, David A. Carrington
2006 A conf
MDA-Based Re-engineering with Object-Z.
MoDELS
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
2006 — conf
Verifying Metamodel Coverage of Model Transformations.
ASWEC
Junhua Wang, Soon-Kyeong Kim, David A. Carrington
2005 — conf
A Rigorous Foundation for Pattern-Based Design Models.
ZB
Soon-Kyeong Kim, David A. Carrington
2005 — conf
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.
Australian Software Engineering Conference
Soon-Kyeong Kim, Luke Wildman, Roger Duke
2005 B conf
An MDA Approach Towards Integrating Formal and Informal Modeling Languages.
FM
Soon-Kyeong Kim, Damian Burger, David A. Carrington
2004 — conf
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models.
Australian Software Engineering Conference
Soon-Kyeong Kim, David A. Carrington
2004 C conf
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.
APSEC
Soon-Kyeong Kim, David A. Carrington
2002 C conf
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.
ICFEM
Soon-Kyeong Kim, David A. Carrington
2002 — conf
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.
ZB
Soon-Kyeong Kim, David A. Carrington
2002 C conf
Integrating Use-Case Analysis and Task Analysis for Interactive Systems.
APSEC
Soon-Kyeong Kim, David A. Carrington
2001 — conf
A Metamodel-based transformation between UML and Object-Z.
HCC
Soon-Kyeong Kim, David A. Carrington, Roger Duke
2001 J jnl
A formal denotational semantics of UML in Object-Z.
Obj. Logiciel Base données Réseaux
Soon-Kyeong Kim, David A. Carrington
2001 — —
A metamodel-based approach to integrate object-oriented graphical and formal specification techniques
Soon-Kyeong Kim
2000 — conf
A Formal Mapping between UML Models and Object-Z Specifications.
ZB
Soon-Kyeong Kim, David A. Carrington
2000 C conf
An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.
APSEC
Soon-Kyeong Kim, David A. Carrington
1999 — conf
Formalizing the UML Class Diagram Using Object-Z.
UML
Soon-Kyeong Kim, David A. Carrington
1999 C conf
Visualization of Formal Specifications.
APSEC
Soon-Kyeong Kim, David A. Carrington