Soon-Kyeong Kim

发表

A formal object-oriented approach to defining consistency constraints for UML models

David A. Carrington, Soon-Kyeong Kim, 2004, 2004 Australian Software Engineering Conference. Proceedings..

Verifying metamodel coverage of model transformations

David A. Carrington, Soon-Kyeong Kim, Junhua Wang, 2006, Australian Software Engineering Conference (ASWEC'06).

A formalism to describe design patterns based on role concepts

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2009, Formal Aspects of Computing.

Formalizing the UML Class Diagram Using Object-Z

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 1999, UML.

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

An experience report on using collaboration technologies for distance and on-campus learning

Paul Strooper, Soon-Kyeong Kim, David Carrington, 2010, ACE '10.

A Pattern based Model Evolution Approach

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

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

David A. Carrington, Soon-Kyeong Kim, 2002, ZB.

A Formal Mapping between UML Models and Object-Z Specifications

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2000, ZB.

Automatic Generation of Test Models for Model Transformations

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

A Rigorous Foundation for Pattern-Based Design Models

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2005, ZB.

A metamodel-based transformation between UML and Object-Z

David A. Carrington, Roger Duke, Soon-Kyeong Kim, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

Integrating use-case analysis and task analysis for interactive systems

David A. Carrington, Soon-Kyeong Kim, 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

A formal denotational semantics of UML in Object-Z

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2001, Obj. Logiciel Base données Réseaux.

Approaches used by cross-cultural and cross-discipline students in teamwork for a first-year course in web design

Soon-Kyeong Kim, Trish Andrews, Kathryn Egea, 2010, ACE '10.

A formal V&V framework for UML models based on Model transformation techniques

Soon-Kyeong Kim, David Carrington, 2005 .

Influences affecting cross-cultural and cross-discipline teams for a first-year course in web design

Soon-Kyeong Kim, Trish Andrews, Kathryn Egea, 2010 .

Teaching software design with open source software

Soon-Kyeong Kim, David Carrington, 2003, 33rd Annual Frontiers in Education, 2003. FIE 2003..

A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques

Soon-Kyeong Kim, David Carrington, 2002 .

A Tool for a Formal Pattern Modeling Language

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2006, ICFEM.

Visualization of formal specifications

David A. Carrington, Soon-Kyeong Kim, 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

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

Soon-Kyeong Kim, Soon-Kyeong Kim, 2002 .

A UML approach to the generation of test sequences for Java-based concurrent systems

Roger Duke, Luke Wildman, Soon-Kyeong Kim, 2005, 2005 Australian Software Engineering Conference.

MDA-Based re-engineering with object-z

Jörn Guy Süß, Luke Wildman, Soon-Kyeong Kim, 2006, MoDELS'06.

Execution of natural language requirements using State Machines synthesised from Behavior Trees

Peter A. Lindsay, Marc-Florian Wendland, Soon-Kyeong Kim, 2012, J. Syst. Softw..

UML Metamodel Formalization with Object-Z: the State Machine Package

Soon-Kyeong Kim, David Carrington, 2000 .

Using integrated metamodeling to define OO design patterns with Object-Z and UML

David A. Carrington, Soon-Kyeong Kim, D. Carrington, 2004, 11th Asia-Pacific Software Engineering Conference.

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

David A. Carrington, Soon-Kyeong Kim, 2002, ICFEM.

Automatic Generation of Test Models for Model Transformations

David A. Carrington, Soon-Kyeong Kim, Junhua Wang, 2008, 19th Australian Conference on Software Engineering (aswec 2008).

An MDA Approach Towards Integrating Formal and Informal Modeling Languages

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