Browse "School of Computing(전산학부)" by Author Bae, Doo-Hwan
Showing results 209 to 268 of 286
| Quality based software project staffing and scheduling with budget and deadline Seo, Dongwon; Shin, Donghwan; Bae, Doo-Hwan, 3rd Joint International Workshop on Quantitative Approaches to Software Quality, QuASoQ 2015, the Workshop on Alternate Workforces for Software Engineering, WAWSE 2015 and the 1st International Workshop on Case Method for Computing Education, CMCE 2015, CEUR-WS, 2015-12-01 |
| Quality Based Software Project Staffing and Scheduling with Cost Bound Seo, Dongwon; Shin, Donghwan; Bae, Doo-Hwan, Software Engineering Conference (APSEC), 2015 Asia-Pacific, Institute of Electrical and Electronics Engineers Inc., 2015-12-02 |
| Quality based software project staffing and scheduling with time bound = 소프트웨어 품질과 제한 시간을 고려한 프로젝트 계획 생성 방법link Seo, Dong-Won; 서동원; et al, 한국과학기술원, 2014 |
| Refactoring for scalability in server components = 서버 컴포넌트의 확장성을 위한 재구성 기법link Kwon, Jae-Eun; 권재은; et al, 한국과학기술원, 2001 |
| Reliable transaction design using MTS Yoon, Il-Chul; Kim, Hyung-Ho; Youn, Cheong; Bae, Doo-Hwan, 2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000), pp.357 - 362, IEEE, 2000-10-25 |
| 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 |
| Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| Scalable Mobile Agents Supporting Dynamic Composition of Functionality Kim, In-Gyu; Hong, Jang-Eui; Bae, Doo-Hwan; Han, Ik-Joo; Youn, Cheong, The Fourth Iternational Conference on Autonomous Agents, Workshop Infrastructure for Scalable Multi-Agents Systems, pp.199 - 213, Springer Verlag (Germany), 2001 |
| 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 |
| Selecting candidate component best matching specification from a component library = 컴포넌트 라이브러리로부터 명세에 가장 근접한 후보 컴포넌트 추출 기법link Tegegne, Marew; 마로; et al, 한국과학기술원, 2003 |
| SimpleLock(+): Fast and Accurate Hybrid Data Race Detection Yu, Misun; Bae, Doo-Hwan, COMPUTER JOURNAL, v.59, no.6, pp.793 - 809, 2016-06 |
| SimpleLock: Fast and Accurate Hybrid Data Race Detector Yu, Misun; Yoo, Sang-Kyung; Bae, Doo-Hwan, 14'th International Conference on Parallel and Distributed Computing, Applications and Technologies, IEEE(Computer Society), 2013-12-16 |
| Simulation-based integration testing for multiple PLCs in reactor protection system = 원자로 보호계통의 다중 PLC를 위한 시뮬레이션 기반 통합 테스팅link Eun, Hyeongseok; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work Mihret, Zelalem; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.333 - 338, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
| SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems Park, Sumin; Shin, Yong-jun; Hyun, SangWon; Bae, Doo-Hwan, 15th IEEE International Conference of System of Systems Engineering, SOSE 2020, pp.575 - 580, Institute of Electrical and Electronics Engineers Inc., 2020-06-03 |
| Slicing Executable System-of-Systems Models for Efficient Statistical Verification Song, Jiyoung; Torring, Jacob O.; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, ICSE Joint Conference on IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems / 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS-WDES), pp.18 - 25, ASSOC COMPUTING MACHINERY, 2019-05 |
| 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 fault prediction models for Web applications Giang, Le Truong; Kang, Dongwon; Bae, Doo-Hwan, 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010, pp.51 - 56, IEEE, 2010-07-19 |
| Software fault predictors for web applications = 웹 어플리케이션을 위한 소프트웨어 결함 예측 지표에 대한 연구link Le, Truong Giang; 레, 트롱 장; et al, 한국과학기술원, 2010 |
| 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 |
| SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS Song, Jiyoung; Baek, Young-Min; Jin, Mingyu; Jee, Eunkyoung; Bae, Doo-Hwan, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, pp.546 - 551, IEEE Computer Society, 2017-12 |
| 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 |
| Specification Seeding Method(SSM): Automatic Component Software Generation Using Spontaneous Composition Between Components Park, WJ; Joo, BG; Bae, Doo-Hwan, Software Engineering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.817 - 824, 2001 |
| Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems Shin, Yong-Jun; Hyun, Sangwon; Baek, Young-Min; Bae, Doo-Hwan, 14th Annual Conference System of Systems Engineering (SoSE), pp.358 - 363, IEEE, 2019-05 |
| Statistical Verification Framework for Platooning System of Systems with Uncertainty Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Bae, Doo-Hwan, 26th Asia-Pacific Software Engineering Conference (APSEC), pp.212 - 219, IEEE, 2019-12 |
| Statistical verification using learned usages for evaluating energy-efficient mobile device design Song, Jiyoung; Jung, Youlim; Cho, Chiwoo; Jee, Eunkyoung; Bae, Doo-Hwan, 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022, pp.960 - 963, Association for Computing Machinery, 2022-04-25 |
| System of systems policy suggestion framework using search-based technique = 탐색 기반 기술을 사용한 시스템 오브 시스템즈 정책 제안 프레임워크link Jung, Youlim; Bae, Doo-Hwan; et al, 한국과학기술원, 2018 |
| Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 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 |
| Tactics based approach for integrating non-functional requirements in object-oriented analysis and design = 객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법link Zewdie, Tegegne Marew; Tegegne M.Z.; et al, 한국과학기술원, 2014 |
| 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 |
| Tailoring and Verifying Software Process Yoon, Il-Chul; Min, Sang-Yoon; Bae, Doo-Hwan, Asia Pacific Software Engineering Conference, pp.202 - 209, IEEE, 2001-12 |
| Task.o object modeling approach for robot workcell programming Kim, Gyu-Tae; Cha, Sungdeok; Bae, Doo-Hwan, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, pp.109 - 114, IEEE, 1997-08-13 |
| TDX 교환기 시스템 개발을 위한 소프트웨어 프로세스의 개선에 관한 연구 = A study on software process improvement for TDX switching system developmentlink 정성철; Chung, Sung-Chul; et al, 한국과학기술원, 1999 |
| 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 |
| Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
| Towards Coping with Role-binding Anomaly Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ikju, Proceedings of Reflection, v.2192, 2001 |
| Towards Coping with Role-Binding Anomaly Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ik-ju, Metalevel Architectures and Separation of Crosscutting Concerns, pp.272 - 273, Springer Verlag (Germany), 2001 |
| Towards Reusable Colored Petri Nets Lee, Nam-Hee; Hong, Jang-Eui; Cha, Sungdeok; Bae, Doo-Hwan, Int. Symp. Software Engineering for Parallel and Distributed Systems, pp.223 - 229, IEEE, 1998-04 |
| Towards Unified Architecture Description Containing Component's Behavior Park, Wei-Jin; Kim, Tai-Hyo; Bae, Doo-Hwan; Cha, Sungdeok, Reusable Architecture for Distributed Information Systems(RACDIS), RACDIS, 1999 |
| Tree aspect-aware interface tree for modular reasoning in aspect-oriented programming = 관점지향 프로그래밍 에서의 단위해석을 위한 관점 인터페이스 트리link Vo, Pham Tra My; Bae, Doo-Hwan; et al, 한국과학기술원, 2006 |
| Trends in Software Design for Distributed Computing Systems You, Stephen S.; Jia, Xiaoping; Bae, Doo-Hwan, Future Trends of Distributed Computing Systems, pp.154 - 160, IEEE, 1990-09 |
| UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 김, 상운; 마, 유승; 강, 제성; 배, 두환; 권, 용래; Kim, Sang-Woon; Ma, Yu-Seung; et al, 한국정보과학회 학술발표논문집, Vol.28, No.2, pp.553-555, 2001-10 |
| UML-based modeling and simulation method for mission-critical real-time embedded system development Choi, Keung Sik; Jung, Sung-Chul; Kim, Hyun-Jung; Bae, Doo-Hwan; Lee, Dong-Hun, IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, pp.160 - 165, IASTED, 2006-02-14 |
| Uncertainty based fault type identification for fault knowledge base generation in system of systems = 시스템 오브 시스템즈의 불확실성 기반 결함 타입 분석을 통한 결함 지식 베이스 생성link Shin, Seungchyul; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
| Using classpects for integrating non-functional and functional requirements Marew, Tegegne; Bae, Doo-Hwan, IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, pp.142 - 147, IASTED, 2006-02-14 |
| Using operational architecture to model embedded software Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, APSEC 2006: Asia-Pacific Software Engineering Conference, pp.157 - 164, IEEE, 2006-12-06 |
| Visualization and formalization of user constraints for a tight estimation of worst-case execution time = 정확한 최장수행시간 예측을 위한 사용자 제약사항의 시각화 및 정형화link Lee, Jong-In; 이종인; et al, 한국과학기술원, 2009 |
| 개발자의 행동패턴을 이용한 작업 기반 공수측정 기법 = An approach to task-based measurement of development effort using developer's behavior patternlink 우석중; Woo, Seok-Joong; et al, 한국과학기술원, 2008 |
| 객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specificationlink 백진욱; Baek, Jin-Wook; et al, 한국과학기술원, 1997 |
| 내장형 S/W 개발 시 명령어패턴을 이용한 모델 기반의 에너지 소모 예측 기법 = Model-based energy consumption prediction in embedded S/W development using instruction patternlink 임형인; Ihm, Hyoung-In; et al, 한국과학기술원, 2009 |
| 동적 시스템 명세를 위한 시제논리언어와 그 검증 조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002 |
| 모델 기반의 프로젝트 프로세스 분석 기법 = An approach to model-based project process analysislink 윤경아; Yoon, Kyung-A.; et al, 한국과학기술원, 2003 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,773 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989