( en | de | ru )

 

Disambiguation of "Kim, Soon-Kyeong"

Author of the publication

copydeleteadd this publication to your clipboard
A Metamodel-based transformation between UML and Object-Z.

, , and . HCC, page 112-119. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kyeong-Hoan Kim

Hae-Soon Kim

Ji-Soon Kim

Ok-Soon Kim

Dae-Soon Kim

 

Other publications of authors with the same name

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z., and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 548-560. Springer, (2002)An MDA Approach Towards Integrating Formal and Informal Modeling Languages., , and . FM, volume 3582 of Lecture Notes in Computer Science, page 448-464. Springer, (2005)A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems., , and . Australian Software Engineering Conference, page 100-109. IEEE Computer Society, (2005)An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study., and . APSEC, page 240-248. IEEE Computer Society, (2000)A formal denotational semantics of UML in Object-Z., and . L'OBJET, 7 (1): 323-362 (2001)A Rigorous Foundation for Pattern-Based Design Models., and . ZB, volume 3455 of Lecture Notes in Computer Science, page 242-261. Springer, (2005)A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models., and . Australian Software Engineering Conference, page 87-95. IEEE Computer Society, (2004)Visualization of Formal Specifications., and . APSEC, page 102-109. IEEE Computer Society, (1999)Execution of natural language requirements using State Machines synthesised from Behavior Trees., , , and . J. Syst. Softw., 85 (11): 2652-2664 (2012)A Tool for a Formal Pattern Modeling Language., and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 568-587. Springer, (2006)