cs-conference-ranking.org Search 971 venues

Soon-Kyeong Kim

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

4

Active years

1999–2006

Best venue rank

C

Where they publish

Papers

9 indexed papers, newest first.

Year	Venue	Title	Authors
2006	APSEC	A Pattern based Model Evolution Approach.	Soon-Kyeong Kim, David A. Carrington
2006	ICFEM	A Tool for a Formal Pattern Modeling Language.	Soon-Kyeong Kim, David A. Carrington
2006	MODELS	MDA-Based Re-engineering with Object-Z.	Jrn Guy S, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
2005	FM	An MDA Approach Towards Integrating Formal and Informal Modeling Languages.	Soon-Kyeong Kim, Damian Burger, David A. Carrington
2004	APSEC	Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.	Soon-Kyeong Kim, David A. Carrington
2002	APSEC	Integrating Use-Case Analysis and Task Analysis for Interactive Systems.	Soon-Kyeong Kim, David A. Carrington
2002	ICFEM	A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.	Soon-Kyeong Kim, David A. Carrington
2000	APSEC	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	Soon-Kyeong Kim, David A. Carrington
1999	APSEC	Visualization of Formal Specifications.	Soon-Kyeong Kim, David A. Carrington