Showing results 44 to 79 of 79
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10 |
Hierarchical ordering with partial pairwise hierarchical relationships on the macaque brain data sets![]() Lim, Woosang; Lee, Jungsoo; Lim, Yongsub; Bae, Doo-Hwan; Park, Haesun; Kim, Dae-Shik; Jung, Kyomin, PLoS ONE, v.12, no.5, pp.1 - 15, 2017-05 |
High-level Petri net for incremental analysis of object-oriented system requirements Hong J.-E.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.1, pp.11 - 18, 2001-02 |
Human Resource Allocation in Software Project with Practical Considerations Park, Jihun; Seo, Dongwon; Hong, Gwangui; Shin, Donghwan; Hwa, Jimin; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.25, no.1, pp.5 - 26, 2015-02 |
Identification of quality improvement strategies using COPQ in software industry Seo, YeongSeok; Shin, Donghwan; Kim, Gookhyun; Baik, Jongmoon; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, v.8, no.6, pp.679 - 688, 2012-11 |
Improving cohesion metrics for classes by considering dependent instance variables Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.30, pp.826 - 832, 2004-11 |
Incremental scenario modeling using hierarchical object-oriented Petri Net Hong, JE; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.11, no.3, pp.357 - 386, 2001-06 |
Integration of heterogeneous CAD databases using STEP and the Internet Shin, Y; Han, Soonhung; Bae, Doo-Hwan, DECISION SUPPORT SYSTEMS, v.28, no.4, pp.365 - 379, 2000-06 |
Introduction to the special issue Grottke, Michael; Bae, Doo-Hwan; Gran, Bjorn Axel, JOURNAL OF SYSTEMS AND SOFTWARE, v.83, no.9, pp.1553 - 1554, 2010-09 |
Managing complexity in object-oriented analysis Ine, SR; Youn, C; Misbah, UM; Lee, KI; Cha, SH; Byoun, BG; Bae, Doo-Hwan, ETRI JOURNAL, v.20, no.2, pp.192 - 213, 1998-06 |
Measuring behavioral dependency for improving change-proneness prediction in UML-based design models Han, Ah-Rim; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, JOURNAL OF SYSTEMS AND SOFTWARE, v.83, pp.222 - 234, 2010-02 |
Model-based project process analysis using project tracking data Yoon, KA; Min, SY; Bae, Doo-Hwan, SOFTWARE ENGINEERING RESEARCH AND APPLICATIONS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3026, pp.148 - 167, 2004 |
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12 |
OBJECT-ORIENTED AND FUNCTIONAL SOFTWARE-DESIGN FOR DISTRIBUTED REAL-TIME SYSTEMS YAU, SS; Bae, Doo-Hwan, COMPUTER COMMUNICATIONS, v.17, no.10, pp.691 - 888, 1994-10 |
Object-oriented concept analysis for software imodularisation Kim, HH; Bae, Doo-Hwan, IET SOFTWARE, v.2, no.2, pp.134 - 148, 2008-04 |
OBJECT-ORIENTED DEVELOPMENT OF ARCHITECTURE TRANSPARENT SOFTWARE FOR DISTRIBUTED PARALLEL SYSTEMS YAU, SS; Bae, Doo-Hwan; CHIDAMBARAM, M, COMPUTER COMMUNICATIONS, v.16, no.5, pp.317 - 327, 1993-05 |
On the value of outlier elimination on software effort estimation research Seo, Yeong-Seok; Bae, Doo-Hwan, EMPIRICAL SOFTWARE ENGINEERING, v.18, no.4, pp.659 - 698, 2013-08 |
PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors Seo, Jeong-Seok; Cha, Sung-Deok; Zhu, Bin; Bae, Doo-Hwan, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E96D, no.8, pp.1716 - 1726, 2013-08 |
PROOF - A PARALLEL OBJECT-ORIENTED FUNCTIONAL COMPUTATION MODEL YAU, SS; JIA, XO; Bae, Doo-Hwan, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.12, no.3, pp.202 - 212, 1991-07 |
Response to Comments on: A cohesion measure ford object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.31, no.14, pp.1389 - 1392, 2001-11 |
Response to More comments on: A cohesion measure for object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE & EXPERIENCE, v.33, no.6, pp.589 - 594, 2003-05 |
Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors Hwa, Jimin; Yoo, Shin; Seo, Yeong-Seok; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.7, pp.1033 - 1062, 2017-09 |
SimpleLock(+): Fast and Accurate Hybrid Data Race Detection Yu, Misun; Bae, Doo-Hwan, COMPUTER JOURNAL, v.59, no.6, pp.793 - 809, 2016-06 |
SoftPM: a software process management system reconciling formalism with easiness Min, SY; Lee, HD; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.42, no.1, pp.1 - 16, 2000-01 |
Software modeling and analysis using a hierarchical object-oriented Petri net Hong, JE; Bae, Doo-Hwan, INFORMATION SCIENCES, v.130, no.1-4, pp.133 - 164, 2000-12 |
SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTING SYSTEMS YAU, SS; JIA, XP; Bae, Doo-Hwan, COMPUTER COMMUNICATIONS, v.15, no.4, pp.213 - 224, 1992-05 |
SOOA: A Stepwise Object-Oriented Analysis Method 윤, 청; 인, 소란; 이, 권일; 차, 승훈; 배, 두환; 변, 보균; Misbah, Mirza; et al, 한국정보과학회논문지, Vol.25, No.1, pp.99-110, 1998 |
Special issue: Computer Software & Applications Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.76, no.1, pp.1 - 2, 2005-04 |
Specification and validation of dynamic systems using temporal logic Cho S.M.; Kim H.H.; Cha S.D.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.4, pp.135 - 140, 2001-08 |
Systematic functional decomposition in a product line using aspect-oriented software development: A case study Marew, T; Kim, J; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.17, no.1, pp.33 - 55, 2007-02 |
Tactics based approach for integrating non-functional requirements in object-oriented analysis and design Marew, T; Lee, JS; Bae, Doo-Hwan; Lee, JS, JOURNAL OF SYSTEMS AND SOFTWARE, v.82, no.10, pp.1642 - 1656, 2009-10 |
Tailoring a large-sized software process using process slicing and case-based reasoning technique Park, Seung-Hun; Bae, Doo-Hwan, IET SOFTWARE, v.7, no.1, pp.47 - 55, 2013-02 |
Test cases generation from UML state diagrams Kim, Y.G.; Hong, H.S.; Bae, Doo-Hwan; Cha, Sungdeok, IEE PROCEEDINGS: SOFTWARE, v.146, no.4, pp.187 - 192, 1999-08 |
Timed pattern-based analysis of collaboration failures in system-of-systems Hyun, Sangwon; Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.198, 2023-04 |
Timing consistency checking for UML/MARTE behavioral models Choi, Jinho; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE QUALITY JOURNAL, v.24, no.3, pp.835 - 876, 2016-09 |
동적 시스템 명세를 위한 시제논리언어와 그 검증 조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002 |
Discover