PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kim, Soon-Kyeong"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Metamodel Coverage of Model Transformations.

, , and . ASWEC, page 270-282. IEEE Computer Society, (2006)

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.

Joel Kimmich University of Stuttgart

Robin Kimmel University of Stuttgart

Kim Glumann University of Stuttgart

Kim Müller University of Stuttgart

Kim Meliani University of Stuttgart

 

Other publications of authors with the same name

A Pattern based Model Evolution Approach., and . APSEC, page 217-224. IEEE Computer Society, (2006)Formalizing the UML Class Diagram Using Object-Z., and . UML, volume 1723 of Lecture Notes in Computer Science, page 83-98. Springer, (1999)A Formal Mapping between UML Models and Object-Z Specifications., and . ZB, volume 1878 of Lecture Notes in Computer Science, page 2-21. Springer, (2000)A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints., and . ZB, volume 2272 of Lecture Notes in Computer Science, page 497-516. Springer, (2002)MDA-Based Re-engineering with Object-Z., , , , and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 291-305. Springer, (2006)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 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 formal denotational semantics of UML in Object-Z., and . L'OBJET, 7 (1): 323-362 (2001)