Browse "School of Computing(전산학부)" by Author Bae, Doo-Hwan
Showing results 212 to 271 of 286
| 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 |
| 병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 = A design of object model and language for concurrent object-oriented robot programming systemlink 김규태; Kim, Gyu-Tae; 차성덕; 배두환; et al, 한국과학기술원, 1997 |
| 사례 연구 : 원전 안전성 계측제어 계통의 소프트웨어 개발 프로세스의 CMMI 기반 평가 박, 승훈; 윤, 경아; 전, 상욱; 배, 두환; 장, 훈선; 정, 재천; 김, 재학; et al, 한국정보과학회 학술발표논문집, Vol.30, No.2, pp.265-267, 2003-10 |
| 소프트웨어 개발자의 행동패턴을 이용한 작업기반 소프트웨어 개발 공수측정 및 분석 Woo, Seok-Joong; Yoon, Kyung-A; Bae, Doo-Hwan, 한국정보과학회 소프트웨어공학기술 합동 워크샵, v.5, no.1, pp.42 - 52, KSEJW, 2007-08 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989