KAIST SELAB

International Journal

2011

# In-Gwon Song, Sang-Uk Jeon, Ah-Rim Han, Doo-Hwan Bae, "An approach to identifying causes of implied scenarios using unenforceable orders" Information & Software Technology Vol. 53, No. 6, pp. 666-681 (2011)

# S. Lee, G. Bae, H.S. Chae, D.H. Bae, Y.R. Kwon, "Automated scheduling for clone-based refactoring using a competent GA", Software Practice & Experience, Vol. 41, no. 5, pp.521-550, Apr. 2011 [Link]

# D. Kang, J. Jung, D.H. Bae, "Constraint-based Human Resource Allocation in Software Projects", Software Practice & Experience, Vol. 41, no. 5, pp.551-577, Apr. 2011 [Link]

# S. Park, D.H. Bae, "An approach to analyzing the software process change impact using process slicing and simulation", Journal of Systems and Software, Vol. 84, no. 4, pp.528-543, Apr. 2011

# W.J. Park, D.H. Bae, "A two-stage framework for UML specification matching", Information & Software Technology, Vol. 53, no. 3, pp.230-244, Mar. 2011

2010

# K.A. Yoon, D.H. Bae, "A pattern-based outlier detection method identifying abnormal attributes in software project data", Information and Software Technology, Vol. 52, no. 2, pp. 137-151, Feb. 2010

# A.R. Han, S.U. Jeon, D.H. Bae, J.E. Hong, "Measuring behavioral dependency for improving change-proneness prediction in UML-based design models", Journal of Systems and Software, Vol. 83, no. 2, pp. 222-234, Feb. 2010

2009

# T. Marew, J.S. Lee, D.H. Bae, "Tactics based approach for integrating non-functional requirements in object-oriented analysis and design", Journal of Systems and Software, Vol. 82, no. 10, pp. 1642-1656, Oct. 2009 [Link]

# E.k. Jee, J.B. Yoo, S.D. Cha, D.H. Bae, "A data flow-based structural testing technique for FBD programs", Information and Software Technology, Vol. 41, no. 7, pp. 1131-1139, Jul. 2009

# S.U. Jeon, J.E. Hong, I.G. Song, D.H. Bae, "Developing platform specific model for MPSoC architecture from UML-based embedded software models", Journal of Systems and Software, Vol. 82, no. 10, pp. 1695-1708, Oct. 2009 [Link]

# K.S. Choi, D.H. Bae, "Dynamic project performance estimation by combining static estimation models with system dynamics", Information and Software Technology, Vol. 51, Issue 1, pp. 162-172, Jan. 2009 [Link]

2008

# H.H. Kim, D.H. Bae, "Object-oriented concept analysis for software modularisation", Software, IET, Vol. 2, no. 2, pp. 134-148, Apr. 2008 [Link]

# S.H. Park, H.J. Kim, D.W Kang, D.H. Bae, "Developing a software process simulation model using SPEM and analytical models", Int. J. Simulation and Process Modeling, Vol. 4, No. 3-4, pp. 223-236, 2008 [Link]

2007

# I.G. Kim, D.H. Bae, and J.E. Hong, "A Component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution", Journal of System and Software, Vol. 80, no. 11, pp. 1755-1938, Nov. 2007 [Link]

# T. Marew, J.Y. Kim, and D.H. Bae, "Systematic Fuctional Decomposition in a Product Line using Aspect-Oriented Software Development: a Case Study", International Journal of Software Engineering and Knowledge Engineering, Vol. 17, No.1, pp. 33-55 Feb. 2007 [Link]

2006

# K.S. Choi, D.H. Bae, and T.G. Kim, "An Approach to a Hybrid Software Process Simulation using the DEVS Formalism", Software Process Improvement and Practice, Vol.11, No. 4, pp.373-383, June. 2006 [Link]

# J.W. Kim, D.H.Bae, “An approach to feature-based software construction for enhancing maintainability”, Software Practice & Experience , Vol.36, pp.923-948, May. 2006 [Link]

2004

# H.S. Chae, Y.R. Kwon, D.H. Bae, "Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables”, Transactions on Software Engineering , Vol.30, pp.826-832, Nov. 2004 [Link]

# J.S. Lee and D.H. Bae, “An aspect-oriented framework for developing component-based software with collaboration-based architecture style,” Information and Software Technology, Vol.46, pp.81-97, Feb., 2004. [Link]

2003

# H.S. Chae, Y.R. Kwon, and D.H. Bae, " Response to 'More comments on: A cohesion measure for object-oriented classes,” Software Practice & Experience, Vol.31, pp.589-594, May, 2003 [Link]

2002

# S. M. Cho, H. H. Kim, S. D. Cha, and D. H. Bae, "A Semantics of Sequence Diagrams", Information Processing Letter, Volume 84, Issue 3, pp. 125-130, 15 November, 2002. [Link]

# J.S. Lee and D.H. Bae, "An Enhanced Role Model for Alleviating Role-binding Anomaly", Software-Practice & Experience, John & Wiley and Sons, vol. 32, issue 14, pp. 1317-1344, Nov. 2002. [Link]

2001

# S.M. Cho, H.H. Kim, S.D. Cha, and D.H. Bae, "Specification and Validation of Dynamic Systems Using Temporal Logic", IEE Proceedings - Software, Vol. 148, No 4, Aug. 2001 [Link]

# J.E. Hong and D.H. Bae, "High-level Petri net for incremental analysis of object-oriented system requirements", IEE Porceedings - Software Engineering, Vol. 147, No. 1, Feb 2001 [Link]

# J.E. Hong and D.H. Bae, "A High-Level Petri Net for Incremental Specification of Object-Oriented System Requirements", International Journal of Software Engineering and Knowledge Engineering, Accepted for publication [Link]

2000

# J.E. Hong and D.H. Bae, "Software modeling and analysis using a hierarchical object-oriented Petri net", Journal of Information Science, Vol. 130, pp. 133-164, 2000 [Link]

# H.S. Hong, Y.K. Kim, S.D. Cha, and D.H. Bae, " A Test Sequence Selection Method for Reactive Systems using StateCharts", Software Testing, Verification and Reliability, Vol. 10, No. 4, pp. 203-227, 2000, 12 [Link]

# H.S. Chae, Y.R. Kwon, and D.H. Bae, "A Cohesion Measure for Object-Oriented Classes ", Software - Practice & Experience, Vol. 30, No. 12, pp. 1405-1431, 2000, 10 [Link]

# S. Shin, S.H. Han, and D.H. Bae, "Integration of Heterogeneous CAD Databases Using STEP and the Internet", Decision Support Systems, Vol. 28, No. 4, pp. 365-379, June 2000 [Link]

# S.Y. Min, H.D. Lee, and D.H. Bae, "SoftPM: A Software Project Management System Reconciling Formalism with Easiness", Information and Software Technology, Vol. 42, No 1, pp. 1-16, 2000 [Link]

# J.S. Lee and D.H. Bae, "An Approach to Specifying Concurrent, Distributed, and Autonomous Object Behaviors Using a High-Level Meta-Object Protocol", IEICE Transactions on Communications, Vol. 83B, No 5, pp. 999-1012, 2000, 5 [Link]

1999

# Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha, "Test Cases Generation from UML State Diagram", IEE Proceedings - Software, Vol. 146, No 4, pp. 187-192, August 1999 [Link]

1994

# S.S. Yau and D.H. Bae, "Object-Oriented and Functional Software Design for Distributed Real-Time Systems", Journal of Computer Communications, Vol. 17, No. 10, pp. 691-698, 1994 [Link]

1993

# S.S. Yau, D.H. Bae, and M. Chidambaram, "Object-Oriented Development of Architecture Transparent Software for Distributed Parallel Systems", Journal of Computer Communications, Vol. 16, No. 5, pp. 317-326, 1993 [Link]

1992

# S.S. Yau, X. Jia, and D.H. Bae, "Software Design Methods for Distributed Computing Systems", Journal of Computer Communications, Vol. 15, No. 5, pp.213-223, May 1992 [Link]

1991

# S.S. Yau, X. Jia, and D.H. Bae, "PROOF : Parallel Object-Oriented Functional Computation Model", Journal of Parallel and Distributed Computing, Vol. 12, No. 3, pp. 202-212, July 1991 [Link]

		Home \| Sitemap \| Contact About \| Research \| Members \| Project \| Publication \| Course \| Study \| BBS \| Reference \| Intranet \| Alumni
	Int'l Journal Int'l Conference Domestic Journal Domestic Conference Thesis for a degree	International Journal 2011 # In-Gwon Song, Sang-Uk Jeon, Ah-Rim Han, Doo-Hwan Bae, "An approach to identifying causes of implied scenarios using unenforceable orders" Information & Software Technology Vol. 53, No. 6, pp. 666-681 (2011) # S. Lee, G. Bae, H.S. Chae, D.H. Bae, Y.R. Kwon, "Automated scheduling for clone-based refactoring using a competent GA", Software Practice & Experience, Vol. 41, no. 5, pp.521-550, Apr. 2011 [Link] # D. Kang, J. Jung, D.H. Bae, "Constraint-based Human Resource Allocation in Software Projects", Software Practice & Experience, Vol. 41, no. 5, pp.551-577, Apr. 2011 [Link] # S. Park, D.H. Bae, "An approach to analyzing the software process change impact using process slicing and simulation", Journal of Systems and Software, Vol. 84, no. 4, pp.528-543, Apr. 2011 # W.J. Park, D.H. Bae, "A two-stage framework for UML specification matching", Information & Software Technology, Vol. 53, no. 3, pp.230-244, Mar. 2011 2010 # K.A. Yoon, D.H. Bae, "A pattern-based outlier detection method identifying abnormal attributes in software project data", Information and Software Technology, Vol. 52, no. 2, pp. 137-151, Feb. 2010 # A.R. Han, S.U. Jeon, D.H. Bae, J.E. Hong, "Measuring behavioral dependency for improving change-proneness prediction in UML-based design models", Journal of Systems and Software, Vol. 83, no. 2, pp. 222-234, Feb. 2010 2009 # T. Marew, J.S. Lee, D.H. Bae, "Tactics based approach for integrating non-functional requirements in object-oriented analysis and design", Journal of Systems and Software, Vol. 82, no. 10, pp. 1642-1656, Oct. 2009 [Link] # E.k. Jee, J.B. Yoo, S.D. Cha, D.H. Bae, "A data flow-based structural testing technique for FBD programs", Information and Software Technology, Vol. 41, no. 7, pp. 1131-1139, Jul. 2009 # S.U. Jeon, J.E. Hong, I.G. Song, D.H. Bae, "Developing platform specific model for MPSoC architecture from UML-based embedded software models", Journal of Systems and Software, Vol. 82, no. 10, pp. 1695-1708, Oct. 2009 [Link] # K.S. Choi, D.H. Bae, "Dynamic project performance estimation by combining static estimation models with system dynamics", Information and Software Technology, Vol. 51, Issue 1, pp. 162-172, Jan. 2009 [Link] 2008 # H.H. Kim, D.H. Bae, "Object-oriented concept analysis for software modularisation", Software, IET, Vol. 2, no. 2, pp. 134-148, Apr. 2008 [Link] # S.H. Park, H.J. Kim, D.W Kang, D.H. Bae, "Developing a software process simulation model using SPEM and analytical models", Int. J. Simulation and Process Modeling, Vol. 4, No. 3-4, pp. 223-236, 2008 [Link] 2007 # I.G. Kim, D.H. Bae, and J.E. Hong, "A Component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution", Journal of System and Software, Vol. 80, no. 11, pp. 1755-1938, Nov. 2007 [Link] # T. Marew, J.Y. Kim, and D.H. Bae, "Systematic Fuctional Decomposition in a Product Line using Aspect-Oriented Software Development: a Case Study", International Journal of Software Engineering and Knowledge Engineering, Vol. 17, No.1, pp. 33-55 Feb. 2007 [Link] 2006 # K.S. Choi, D.H. Bae, and T.G. Kim, "An Approach to a Hybrid Software Process Simulation using the DEVS Formalism", Software Process Improvement and Practice, Vol.11, No. 4, pp.373-383, June. 2006 [Link] # J.W. Kim, D.H.Bae, “An approach to feature-based software construction for enhancing maintainability”, Software Practice & Experience , Vol.36, pp.923-948, May. 2006 [Link] 2004 # H.S. Chae, Y.R. Kwon, D.H. Bae, "Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables”, Transactions on Software Engineering , Vol.30, pp.826-832, Nov. 2004 [Link] # J.S. Lee and D.H. Bae, “An aspect-oriented framework for developing component-based software with collaboration-based architecture style,” Information and Software Technology, Vol.46, pp.81-97, Feb., 2004. [Link] 2003 # H.S. Chae, Y.R. Kwon, and D.H. Bae, " Response to 'More comments on: A cohesion measure for object-oriented classes,” Software Practice & Experience, Vol.31, pp.589-594, May, 2003 [Link] 2002 # S. M. Cho, H. H. Kim, S. D. Cha, and D. H. Bae, "A Semantics of Sequence Diagrams", Information Processing Letter, Volume 84, Issue 3, pp. 125-130, 15 November, 2002. [Link] # J.S. Lee and D.H. Bae, "An Enhanced Role Model for Alleviating Role-binding Anomaly", Software-Practice & Experience, John & Wiley and Sons, vol. 32, issue 14, pp. 1317-1344, Nov. 2002. [Link] 2001 # S.M. Cho, H.H. Kim, S.D. Cha, and D.H. Bae, "Specification and Validation of Dynamic Systems Using Temporal Logic", IEE Proceedings - Software, Vol. 148, No 4, Aug. 2001 [Link] # J.E. Hong and D.H. Bae, "High-level Petri net for incremental analysis of object-oriented system requirements", IEE Porceedings - Software Engineering, Vol. 147, No. 1, Feb 2001 [Link] # J.E. Hong and D.H. Bae, "A High-Level Petri Net for Incremental Specification of Object-Oriented System Requirements", International Journal of Software Engineering and Knowledge Engineering, Accepted for publication [Link] 2000 # J.E. Hong and D.H. Bae, "Software modeling and analysis using a hierarchical object-oriented Petri net", Journal of Information Science, Vol. 130, pp. 133-164, 2000 [Link] # H.S. Hong, Y.K. Kim, S.D. Cha, and D.H. Bae, " A Test Sequence Selection Method for Reactive Systems using StateCharts", Software Testing, Verification and Reliability, Vol. 10, No. 4, pp. 203-227, 2000, 12 [Link] # H.S. Chae, Y.R. Kwon, and D.H. Bae, "A Cohesion Measure for Object-Oriented Classes ", Software - Practice & Experience, Vol. 30, No. 12, pp. 1405-1431, 2000, 10 [Link] # S. Shin, S.H. Han, and D.H. Bae, "Integration of Heterogeneous CAD Databases Using STEP and the Internet", Decision Support Systems, Vol. 28, No. 4, pp. 365-379, June 2000 [Link] # S.Y. Min, H.D. Lee, and D.H. Bae, "SoftPM: A Software Project Management System Reconciling Formalism with Easiness", Information and Software Technology, Vol. 42, No 1, pp. 1-16, 2000 [Link] # J.S. Lee and D.H. Bae, "An Approach to Specifying Concurrent, Distributed, and Autonomous Object Behaviors Using a High-Level Meta-Object Protocol", IEICE Transactions on Communications, Vol. 83B, No 5, pp. 999-1012, 2000, 5 [Link] 1999 # Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha, "Test Cases Generation from UML State Diagram", IEE Proceedings - Software, Vol. 146, No 4, pp. 187-192, August 1999 [Link] 1994 # S.S. Yau and D.H. Bae, "Object-Oriented and Functional Software Design for Distributed Real-Time Systems", Journal of Computer Communications, Vol. 17, No. 10, pp. 691-698, 1994 [Link] 1993 # S.S. Yau, D.H. Bae, and M. Chidambaram, "Object-Oriented Development of Architecture Transparent Software for Distributed Parallel Systems", Journal of Computer Communications, Vol. 16, No. 5, pp. 317-326, 1993 [Link] 1992 # S.S. Yau, X. Jia, and D.H. Bae, "Software Design Methods for Distributed Computing Systems", Journal of Computer Communications, Vol. 15, No. 5, pp.213-223, May 1992 [Link] 1991 # S.S. Yau, X. Jia, and D.H. Bae, "PROOF : Parallel Object-Oriented Functional Computation Model", Journal of Parallel and Distributed Computing, Vol. 12, No. 3, pp. 202-212, July 1991 [Link]

	Copyright © 2008 Software Engineering Laboratory. CS Division, EECS Department, KAIST 373-1 KAIST Gusung-Dong Yusung-Gu Daejeon Korea (305-701) Tel 042-350-3558 \| FAX 042-350-8488