Browse "CS-Journal Papers(저널논문)" by Author Bae, Doo-Hwan
Showing results 61 to 79 of 79
| 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
Open Access
- 187 OA Article