SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Soon-Kyeong Kim: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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. [Citation Graph (0, 0)][DBLP]
APSEC, 2000, pp:240-248 [Conf]
Soon-Kyeong Kim, David A. Carrington
Integrating Use-Case Analysis and Task Analysis for Interactive Systems. [Citation Graph (0, 0)][DBLP]
APSEC, 2002, pp:12-21 [Conf]
Soon-Kyeong Kim, David A. Carrington
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. [Citation Graph (0, 0)][DBLP]
APSEC, 2004, pp:257-264 [Conf]
Soon-Kyeong Kim, David A. Carrington
Visualization of Formal Specifications. [Citation Graph (0, 0)][DBLP]
APSEC, 1999, pp:102-109 [Conf]
Soon-Kyeong Kim, David A. Carrington
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. [Citation Graph (0, 0)][DBLP]
Australian Software Engineering Conference, 2004, pp:87-95 [Conf]
Soon-Kyeong Kim, Luke Wildman, Roger Duke
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP]
Australian Software Engineering Conference, 2005, pp:100-109 [Conf]
Junhua Wang, Soon-Kyeong Kim, David A. Carrington
Verifying Metamodel Coverage of Model Transformations. [Citation Graph (0, 0)][DBLP]
ASWEC, 2006, pp:270-282 [Conf]
Soon-Kyeong Kim, Damian Burger, David A. Carrington
An MDA Approach Towards Integrating Formal and Informal Modeling Languages. [Citation Graph (0, 0)][DBLP]
FM, 2005, pp:448-464 [Conf]
Soon-Kyeong Kim, David A. Carrington
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. [Citation Graph (0, 0)][DBLP]
ICFEM, 2002, pp:548-560 [Conf]
Soon-Kyeong Kim, David A. Carrington
A Tool for a Formal Pattern Modeling Language. [Citation Graph (0, 0)][DBLP]
ICFEM, 2006, pp:568-587 [Conf]
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
MDA-Based Re-engineering with Object-Z. [Citation Graph (0, 0)][DBLP]
MoDELS, 2006, pp:291-305 [Conf]
Soon-Kyeong Kim, David A. Carrington
Formalizing the UML Class Diagram Using Object-Z. [Citation Graph (0, 0)][DBLP]
UML, 1999, pp:83-98 [Conf]
Soon-Kyeong Kim, David A. Carrington, Roger Duke
A Metamodel-based transformation between UML and Object-Z. [Citation Graph (0, 0)][DBLP]
HCC, 2001, pp:112-119 [Conf]
Soon-Kyeong Kim, David A. Carrington
A Formal Mapping between UML Models and Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
ZB, 2000, pp:2-21 [Conf]
Soon-Kyeong Kim, David A. Carrington
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. [Citation Graph (0, 0)][DBLP]
ZB, 2002, pp:497-516 [Conf]
Soon-Kyeong Kim, David A. Carrington
A Rigorous Foundation for Pattern-Based Design Models. [Citation Graph (0, 0)][DBLP]
ZB, 2005, pp:242-261 [Conf]
Soon-Kyeong Kim, David A. Carrington
A formal denotational semantics of UML in Object-Z. [Citation Graph (0, 0)][DBLP]
L'OBJET, 2001, v:7, n:1, pp:- [Journal]
A Pattern based Model Evolution Approach. [Citation Graph (, )][DBLP]
Automatic Generation of Test Models for Model Transformations. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.006secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP