Soon-Kyeong Kim

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Written In Natural Language

Texture Synthesis

Top Venues

J. Syst. Softw.

Publications

Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay
Execution of natural language requirements using State Machines synthesised from Behavior Trees. J. Syst. Softw. 85 (11) (2012)
Soon-Kyeong Kim, David A. Carrington
A formalism to describe design patterns based on role concepts. Formal Aspects Comput. 21 (5) (2009)
Junhua Wang, Soon-Kyeong Kim, David A. Carrington
Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference (2008)
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
MDA-Based Re-engineering with Object-Z. MoDELS (2006)
Junhua Wang, Soon-Kyeong Kim, David A. Carrington
Verifying Metamodel Coverage of Model Transformations. ASWEC (2006)
Soon-Kyeong Kim, David A. Carrington
A Tool for a Formal Pattern Modeling Language. ICFEM (2006)
Soon-Kyeong Kim, David A. Carrington
A Pattern based Model Evolution Approach. APSEC (2006)
Soon-Kyeong Kim, Damian Burger, David A. Carrington
An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM (2005)
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)
Soon-Kyeong Kim, David A. Carrington
A Rigorous Foundation for Pattern-Based Design Models. ZB (2005)
Soon-Kyeong Kim, David A. Carrington
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. Australian Software Engineering Conference (2004)
Soon-Kyeong Kim, David A. Carrington
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC (2004)
Soon-Kyeong Kim, David A. Carrington
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. ICFEM (2002)
Soon-Kyeong Kim, David A. Carrington
Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC (2002)
Soon-Kyeong Kim, David A. Carrington
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. ZB (2002)
Soon-Kyeong Kim, David A. Carrington, Roger Duke
A Metamodel-based transformation between UML and Object-Z. HCC (2001)
Soon-Kyeong Kim, David A. Carrington
A formal denotational semantics of UML in Object-Z. Obj. Logiciel Base données Réseaux 7 (1) (2001)
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)
Soon-Kyeong Kim, David A. Carrington
A Formal Mapping between UML Models and Object-Z Specifications. ZB (2000)
Soon-Kyeong Kim, David A. Carrington
Formalizing the UML Class Diagram Using Object-Z. UML (1999)
Soon-Kyeong Kim, David A. Carrington
Visualization of Formal Specifications. APSEC (1999)