Soon-Kyeong Kim

According to our database, Soon-Kyeong Kim authored at least 22 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

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

2009

A formalism to describe design patterns based on role concepts.

Soon-Kyeong Kim, David A. Carrington

Formal Aspects Comput., 2009

2008

Automatic Generation of Test Models for Model Transformations.

Junhua Wang, Soon-Kyeong Kim, David A. Carrington

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2006

MDA-Based Re-engineering with Object-Z.

Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson

Proceedings of the Model Driven Engineering Languages and Systems, 2006

A Tool for a Formal Pattern Modeling Language.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the Formal Methods and Software Engineering, 2006

Verifying Metamodel Coverage of Model Transformations.

Junhua Wang, Soon-Kyeong Kim, David A. Carrington

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

A Pattern based Model Evolution Approach.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

A Rigorous Foundation for Pattern-Based Design Models.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An MDA Approach Towards Integrating Formal and Informal Modeling Languages.

Soon-Kyeong Kim, Damian Burger, David A. Carrington

Proceedings of the FM 2005: Formal Methods, 2005

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.

Soon-Kyeong Kim, Luke Wildman, Roger Duke

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2002

A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the Formal Methods and Software Engineering, 2002

Integrating Use-Case Analysis and Task Analysis for Interactive Systems.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

A metamodel-based approach to integrate object-oriented graphical and formal specification techniques

Soon-Kyeong Kim

PhD thesis, 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 transformation between UML and Object-Z.

Soon-Kyeong Kim, David A. Carrington, Roger Duke

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000

A Formal Mapping between UML Models and Object-Z Specifications.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

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

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Formalizing the UML Class Diagram Using Object-Z.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Visualization of Formal Specifications.

Soon-Kyeong Kim, David A. Carrington

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999