Soon-Kyeong Kim Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay: Execution of natural language requirements using State Machines synthesised from Behavior Trees. Journal of Systems and Software 85(11): 2652-2664 (2012)
2009
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A formalism to describe design patterns based on role concepts. Formal Asp. Comput. 21(5): 397-420 (2009)
2008
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference 2008: 432-440
2006
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Pattern based Model Evolution Approach. APSEC 2006: 217-224
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Verifying Metamodel Coverage of Model Transformations. ASWEC 2006: 270-282
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Tool for a Formal Pattern Modeling Language. ICFEM 2006: 568-587
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson: MDA-Based Re-engineering with Object-Z. MoDELS 2006: 291-305
2005
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 100-109
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, Damian Burger, David A. Carrington: An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM 2005: 448-464
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Rigorous Foundation for Pattern-Based Design Models. ZB 2005: 242-261
2004
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC 2004: 257-264
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. Australian Software Engineering Conference 2004: 87-95
2002
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC 2002: 12-21
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. ICFEM 2002: 548-560
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. ZB 2002: 497-516
2001
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A formal denotational semantics of UML in Object-Z. L'OBJET 7(1): 323-362 (2001)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington, Roger Duke: A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119
2000
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 240-248
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: A Formal Mapping between UML Models and Object-Z Specifications. ZB 2000: 2-21
1999
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: Visualization of Formal Specifications. APSEC 1999: 102-109
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soon-Kyeong Kim, David A. Carrington: Formalizing the UML Class Diagram Using Object-Z. UML 1999: 83-98

Coauthor Index

1Damian Burger
[c12]
2David A. Carrington
[j2] [c18] [c17] [c16] [c15] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [j1] [c5] [c4] [c3] [c2] [c1]
3Roger Duke
[c13] [c5]
4Peter A. Lindsay (Peter Alexander Lindsay)
[j3]
5Tim McComb
[c14]
6Toby Myers
[j3]
7Jörn Guy Süß
[c14]
8Junhua Wang
[c18] [c16]
9Geoffrey Watson
[c14]
10Marc-Florian Wendland
[j3]
11Luke Wildman
[c14] [c13]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 04:01:08 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page