Browse by all authors Browse By Author ID - Kim, Soon Kyeong

Browse Results (29 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Kim, S. and Carrington, D. A. (2001) A formal denotational semantics of UML in object-z. L'Objet: Object Modelling with UML, 7 1: 323-362. 936  
Kim, Soon Kyeong and Carrington, David (2009) A formalism to describe design patterns based on role concepts. Formal Aspects of Computing, 21 5: 397-420. doi:10.1007/s00165-008-0090-7 91   7 Cited 9 times in Scopus9 0
Kim, S. and Carrington, D. A. (2000). A formal mapping between UML models and object-z specifications. In: J. P. Bowen, S. Dunne, A. Galloway and S. King, First International Conference of B and Z Users: ZB 2000. ZB 2000, York, UK, (2-21). 29 August - 2 September 2000. 508  
Kim, Soon-Kyeong and Carrington, David (2002). A formal metamodeling approach to a transformation between the UML state machine and object-z. In: C. George and H. Miao, Formal Methods and Software Engineering. Fourth International Conference on Formal Engineering Methods, Shanghai, China, (548-560). 21-25 October, 2002. doi:10.1007/3-540-36103-0_55 116 161 1 0
Kim, Soon-Kyeong and Carrington, David (2002) A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques. Technical Report 02-23, Software Verification Research Centre, School of Information Technology, The University of Queensland. 460 467
Kim, S. and Carrington, D. A. (2002). A formal model of UML metamodel: The UML state machine and its integrity constraints. In: D. Bert, J. Bowen, M. Henderson and K. Robinson, ZB 2002: Formal Specification and Development in Z and B. Second International Conference of Z and B Users, Grenoble, France, (497-516). 23-25 January, 2002. 182  
Kim, S. and Carrington, D. A. (2004). A formal object-oriented approach to defining consistency constraints for UML models. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (87-94). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290461 119   1 0
Kim, S. K. and Carrington, D. A. (2005). A formal V&V framework for UML models based on Model transformation techniques. In: B. Baudry, C. Caston and S. Ghosh, 2nd MoDeVa Workshop - Model Design and validation. Model Validation (MoDeVa) Workshop, Montego Bay, Jamaic, (). 3 October 2005. 257  
Kim, Soon-Kyeong (2002). A metamodel-based approach to integrate object-oriented graphical and formal specification techniques PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 176 3
Kim, S., Carrington, D. A. and Duke, R. W. (2001). A metamodel-based transformation between UML and object-z. In: S. Levialdi, Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, (112-119). 5-7 September, 2001. 71   0
Carrington, David, Kim, Soon-Kyeong and Strooper, Paul (2010). An experience report on using collaboration technologies for distance and on-campus learning. In: Tony Clear and John Hamer, ACE '10 Proceedings of the Twelfth Australasian Conference on Computing. Twelfth Australasian Computing Education Conference (ACE 2010), Brisbane, Qld, Australia, (45-52). 18 - 22 January, 2010. 122 1
Kim, S. and Carrington, D. A. (2000). An integrated framework with UML and object-Z for developing a precise and understandable specification: The light control case study. In: Proceedings of the Seventh Asia-Pacific Software Engineering Conference: APSEC 2000. APSEC 2000, Singapore, (240-248). 5-8 December 2000. 67   3
Kim, Soon Kyeong, Burger, Damian and Carrington, David (2005). An MDA approach towards integrating formal and informal modeling languages. In: J. Fitzgerald, I. Hayes and A. Tarlecki, FM2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, United Kingdom, (448-464). 18-22 July 2005. doi:10.1007/11526841_30 122 604 7 Cited 6 times in Scopus6 0
Kim, Soon-Kyeong and Carrington, D. (2006). A patttern based model evolution approach. In: P. Jalote, 13th Asia Pacific Software Engineering Conference. 13th Asia Pacific Software Engineering Conference, Bangalore, India, (217-224). 6-8 December 2006. doi:10.1109/APSEC.2006.8 38   Cited 1 times in Scopus1 0
Egea, Kathryn, Kim, Soon-Kyeong, Andrews, Trish and Behrens, Karin (2010). Approaches used by cross-cultural and cross-discipline students in teamwork for a first-year course in web design. In: Tony Clear and John Hamer, Proceedings of the 12th Australasian Computing Education Conference (ACE 2010). 12th Australasian Computing Education Conference (ACE 2010), Brisbane, Qld, Australia, (87-96). 18 – 22 January, 2010. 58  
Kim, Soon-Kyeong and Carrington, David (2005). A rigorous foundation for pattern based design models. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB2005: Formal specification and development in Z and B. 4th International Conference of B and Z users, Guildford, United Kingdom, (242-261). 13-15 April 2005. doi:10.1007/11415787_15 71   2 Cited 4 times in Scopus4 0
Kim, Soon-Kyeong and Carrington, David (2006). A tool for a formal pattern modeling language. In: Z. Liu and J. He, Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, (568-587). 1-3 November 2006. doi:10.1007/11901433_31 73   0 Cited 1 times in Scopus1 0
Wang, J., Kim, S. K. and Carrington, D. A. (2008). Automatic generation of test models for model transformations. In: S. Kawada, Software Engineering 2008. 19th Australian Conference on Software Engineering 2008 (ASWEC 2008), Perth, Australia, (432-440). 26-28 March 2008. doi:10.1109/ASWEC.2008.4483232 72   Cited 7 times in Scopus7 0
Kim, Soon Kyeong and Carrington, David (1999). Formalizing the UML class diagram using Object-Z. In: R. France and B. Rumpe, Lecture Notes in Computer Science: UML '99 - The Unified Modeling Language - Beyond the Sandard. Second International Conference on The Unified Modeling Language 1999, Fort Collins, Colorado, (83-98). 28 - 30 Oct 1999. 87   25
Egea, Kathryn, Kim, Soon-Kyeong, Andrews, Trish and Behrens, Karin (2010). Influences affecting cross-cultural and cross-discipline teams for a first-year course in web design. In: Tony Clear and John Hamer, Computing Education 2010: Proceedings of the Twelfth Australasian Computing Education Conference (ACE 2010). ACE 2010: Twelfth Australasian Computing Education Conference, Brisbane, QLD, Australia, (26-26). 18-22 January, 2010. 62  
Kim, S. and Carrington, D. A. (2002). Integrating use-case analysis and task analysis for interactive systems. In: P. Strooper and P. Muenchaisri, Asia-Pacific Software Engineering Conference. Ninth Asia-Pacific Software Engineering Conference, The Gold Coast, (12-21). 4-6 December, 2002. 69   3
Süß, Jörn Guy, McComb, Tim, Kim, Soon-Kyeong, Wildman, Luke and Watson, Geoffrey (2006). MDA-based re-engineering with Object-Z. In O. Nierstrasz, J. Whittle, D. Harel and G. Reggio (Ed.), Model Driven Engineering Languages and Systems 1 ed. (pp. 291-305) Berlin: Springer. doi:10.1007/11880240_21 62   2 0
Carrington, D. A. and Kim, S. (2003). Teaching software design with open source software. In: S. Seidman, J. Froyd and C. Finelli, Frontiers in Education. The Thirty-Third Annual Frontiers in Education Conference, Boulder, CO, (9-14). 5-8 November, 2003. 65  
Egea, Kathy, Kim, Soon-Kyeong and Behrens, Karin (2011) Team Health, an Assessment Approach to Engage First Year Students in Cross-cultural and Cross-discipline Teams towards More Effective Team-Working. Journal of Applied Computing and Information Technology, 15 01: . 51 2
Kim, S. K., Wildman, L. P. and Duke, R. W. (2005). UML approach to the generation of test sequences for Java-based concurrent systems. In: P. Strooper, Proceedings of the 2005 Australian Software Engineering Conference. 2005 Australian Software Engineering Conference, Brisbane, Australia, (100-109). 29 March-1 April 2005. doi:10.1109/ASWEC.2005.11 79 45 1 Cited 7 times in Scopus7 0
Kim, S. and Carrington, D. A. (2004). Using integrated metamodeling to define OO design patterns with object-z and UML. In: D. Bae and W. Chu, Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004). 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (257-264). 30 November-3 December 2004. doi:10.1109/APSEC.2004.108 53   Cited 12 times in Scopus12 0
Wang, J., Kim, S. K. and Carrington, D. A. (2006). Verifying metamodel coverage of model transformations. In: J. Han and M. Staples, Australian Software Engineering Conference (ASWEC 2006). ASWEC 2006: The Australian Software Engineering Conference, Sydney, Australia, (270-279). 18-21 April 2006. doi:10.1109/ASWEC.2006.55 64 4 Cited 7 times in Scopus7 1
Kim, Soon-Kyeong and Carrington, David (1999) Visualization of formal specifications. SVRC Technical Report 99-47, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 20 1
Kim, S. and Carrington, D. A. (1999). Visualization of formal specifications. In: F. M. Titsworth, Proceedings Sixth Asia Pacific Software Engineering Conference. APSEC'99, Takamatsu, Japan, (102-109). 7-10 December 1999. 27