2008 | ||
---|---|---|
35 | Patrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl: Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, Proceedings VaMoS 2008 | |
34 | EE | Hojin Cho, Kwanwoo Lee, Kyo Chul Kang: Feature Relation and Dependency Management: An Aspect-Oriented Approach. SPLC 2008: 3-11 |
2007 | ||
33 | Klaus Pohl, Patrick Heymans, Kyo Chul Kang, Andreas Metzger: First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings VaMoS 2007 | |
2006 | ||
32 | EE | Kyungseok Kim, Hyejung Kim, Miyoung Ahn, Minseok Seo, Yeop Chang, Kyo Chul Kang: ASADAL: a tool system for co-development of software and test environment based on product line engineering. ICSE 2006: 783-786 |
31 | EE | Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu: Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - A Case Study. ICSR 2006: 156-169 |
30 | Kwanwoo Lee, Kyo Chul Kang, Minseong Kim, Sooyong Park: Combining Feature-Oriented Analysis and Aspect-Oriented Programming for Product Line Asset Development. SPLC 2006: 103-112 | |
29 | Jaejoon Lee, Kyo Chul Kang: A Feature-Oriented Approach to Developing Dynamically Reconfigurable Products in Product Line Engineering. SPLC 2006: 131-140 | |
28 | EE | Vijayan Sugumaran, Sooyong Park, Kyo Chul Kang: Introduction. Commun. ACM 49(12): 28-32 (2006) |
2005 | ||
27 | EE | Moonzoo Kim, Kyo Chul Kang: Formal Construction and Verification of Home Service Robots: A Case Study. ATVA 2005: 429-443 |
26 | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang: 3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. ICRA 2005: 2903-2908 | |
25 | Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee: Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. ICRA 2005: 4739-4744 | |
24 | EE | Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang: Re-engineering software architecture of home service robots: a case study. ICSE 2005: 505-513 |
23 | EE | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim: Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. SPLC 2005: 45-56 |
2004 | ||
22 | EE | Kwanwoo Lee, Kyo Chul Kang: Feature Dependency Analysis for Product Line Component Design. ICSR 2004: 69-85 |
21 | EE | Jaejoon Lee, Kyo Chul Kang, Sajoong Kim: A Feature-Based Approach to Product Line Production Planning. SPLC 2004: 183-196 |
2003 | ||
20 | EE | Jaejoon Lee, Kyo Chul Kang: Feature Binding Analysis for Product Line Component Development. PFE 2003: 250-260 |
2002 | ||
19 | EE | Kwanwoo Lee, Kyo Chul Kang, Jaejoon Lee: Concepts and Guidelines of Feature Modeling for Product Line Software Engineering. ICSR 2002: 62-77 |
18 | EE | Kyo Chul Kang, Patrick Donohoe, Eunman Koh, Jaejoon Lee, Kwanwoo Lee: Using a Marketing and Product Plan as a Key Driver for Product Line Asset Development. SPLC 2002: 366-382 |
17 | EE | Kyo Chul Kang, Jaejoon Lee, Patrick Donohoe: Feature-Oriented Project Line Engineering. IEEE Software 19(4): 58-65 (2002) |
2001 | ||
16 | EE | Jaejoon Lee, Sucheol Ha, Kyo Chul Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang: Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems. APSEC 2001: 335-340 |
2000 | ||
15 | EE | Kyo Chul Kang, Ji Y. Lee, Hye J. Kim: Co-development of real-time systems and their simulation environments. APSEC 2000: 8-15 |
14 | EE | Ji Y. Lee, Hye J. Kim, Kyo Chul Kang: A real world object modeling method for creating simulation environment of real-time systems. OOPSLA 2000: 93-104 |
13 | Kwanwoo Lee, Kyo Chul Kang, Eunman Koh, Wonsuk Chae, Bokyoung Kim, Byoung Wook Choi: Domain-oriented engineering of elevator control software. SPLC 2000: 3-22 | |
12 | Kwanwoo Lee, Kyo Chul Kang, Wonsuk Chae, Byoung Wook Choi: Feature-based approach to object-oriented engineering of applications for reuse. Softw., Pract. Exper. 30(9): 1025-1046 (2000) | |
1999 | ||
11 | EE | Kwanwoo Lee, Kyo Chul Kang, Sajoong Kim, Jaejoon Lee: Feature-Oriented Engineering of PBX Software. APSEC 1999: 394-403 |
10 | EE | Jinseok Seo, Gerard Jounghyun Kim, Kyo Chul Kang: Levels of detail (LOD) engineering of VR objects. VRST 1999: 104-110 |
9 | EE | Ji Y. Lee, Kyo Chul Kang, Gerard Jounghyun Kim, Hye J. Kim: Adding Form to Real-Time System Specification and Simulation. International Journal of Software Engineering and Knowledge Engineering 9(5): 643-662 (1999) |
8 | Kyo Chul Kang, Sajoong Kim, Jaejoon Lee, Kwanwoo Lee: Feature-Oriented Engineering of PBX Software for Adaptability and Reuseability. Softw., Pract. Exper. 29(10): 875-896 (1999) | |
1998 | ||
7 | EE | Gerard Jounghyun Kim, Kyo Chul Kang, Hyejung Kim, Jiyoung Lee: Software engineering of virtual worlds. VRST 1998: 131-138 |
6 | Kyo Chul Kang, Sajoong Kim, Jaejoon Lee, Kijoo Kim, Euiseob Shin, Moonhang Huh: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Ann. Software Eng. 5: 143-168 (1998) | |
5 | Kyo Chul Kang, Kwan W. Lee, Ji Y. Lee, Gerard Jounghyun Kim: ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications. Softw., Pract. Exper. 28(4): 445-462 (1998) | |
1996 | ||
4 | EE | Kyo Chul Kang, Kwang-Il Ko: Formalization and Verification of Safety Properties of Statechart Specifications. APSEC 1996: 16- |
3 | EE | Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang: If Software Reuse Can Lead IT, How? APSEC 1996: 329-329 |
1995 | ||
2 | EE | Kyo Chul Kang, Kwang-Il Ko: PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. ICSE 1995: 169-176 |
1 | EE | Kyo Chul Kang, Kwang-Il Ko: Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints. International Journal of Software Engineering and Knowledge Engineering 5(3): 407-422 (1995) |