The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Soon-Kyeong Kim, David A. Carrington
    Visualization of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:102-109 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]

  18. A Pattern based Model Evolution Approach. [Citation Graph (, )][DBLP]


  19. Automatic Generation of Test Models for Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.018secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002