Browse "School of Computing(전산학부)" by Author Bae, Doo-Hwan
Showing results 92 to 151 of 286
| Behavioral composition for compatible software module evolution = 안정적 소프트웨어 모듈 진화를 위한 객체 행위 합성link Lee, Sun-Ae; 이선애; et al, 한국과학기술원, 2004 |
| Behavioral dependency measurement for change-proneness prediction in UML 2.0 design models Han, Ah-Rim; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, pp.76 - 83, IEEE, 2008-07-28 |
| Behavioral dependency measurement in UML 2.0 sequence diagrams for change-proneness prediction = 변경 경향성 예측을 위한 UML 2.0 시퀀스 다이어그램에서의 행위 의존도 측정link Han, Ah-Rim; 한아림; et al, 한국과학기술원, 2007 |
| Bridging the gap between fault trees and UML state machine diagrams for safety analysis Kim, HyeonJeong; Wong, W. Eric; Debroy, Vidroha; Bae, Doo-Hwan, 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, pp.196 - 205, 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, 2010-11-30 |
| Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development Marew, Tegegne; Kim, Jungyoon; Bae, Doo-Hwan, Software Engineering and Knowledge Engineering, pp.152 - 157, SEKE, 2005-07 |
| Change Impact Analysis for A Class Hierarchy Jang, Yoon Kyu; Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo-Hwan, Asia Pacific Software Engineering Conference, pp.304 - 311, IEEE, 1998-12 |
| Change impact analysis of a software process using process slicing Park, Seunghun; Kim, HyeonJeong; Bae, Doo-Hwan, 9th International Conference on Quality Software, QSIC 2009, pp.359 - 366, 9th International Conference on Quality Software, QSIC 2009, 2009-08-24 |
| Characterizing non-deadlock concurrency bug fixes in open-source Java programs Yu, Misun; Ma, Yu-Seung; Bae, Doo-Hwan, 31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1534 - 1537, Association for Computing Machinery, 2016-04-07 |
| Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study Bae, Gi Gon; Rothermel, Gregg; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.97, pp.15 - 46, 2014-11 |
| Component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution Kim, IG; Bae, Doo-Hwan; Hong, JE, JOURNAL OF SYSTEMS AND SOFTWARE, v.80, pp.1797 - 1816, 2007-11 |
| A component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution Kim, In-Gyu; Bae, Doo-Hwan; Hong, Jang-Eui, Journal of Systems and Software, Volume 80, Issue 11, November 2007, Pages 1797-1816, 2007 |
| A component composition model providing dynamic, flexible,and hierarchical composition of components for supportingsoftware evolution Kim, In-Gyu; Bae, Doo-Hwan; Hong, Jang-Eui, Journal of System and Software, Vol.80, No.11, pp.1797-1816, 2007-11 |
| Composition of aspects based on a relation model: Synergy of multiple paradigms Han, Ikjoo; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.16, no.3, pp.379 - 402, 2006-06 |
| Comprehensive analysis of FBD test coverage criteria using mutants Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE AND SYSTEMS MODELING, v.15, no.3, pp.631 - 645, 2016-07 |
| Concept analysis techniques for software modularization = 소프트웨어 모듈화를 위한 개념 분석 기법link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 2008 |
| Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review Shin, Yong-Jun; Bae, Joon-Young; Bae, Doo-Hwan, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), IEEE, 2021-12 |
| Conceptual framework and extensible modeling method supporting ontology-based scenario specification = 온톨로지 기반의 시나리오 명세를 지원하는 개념 프레임워크와 확장 가능 모델링 기법link Baek, Young-Min; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| Constraint-based human resource allocation in software projects Kang, Dong-Won; Jung, Jin-Hwan; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.41, no.5, pp.551 - 577, 2011-04 |
| Constraint-based human resource allocation in software projects = 소프트웨어 프로젝트에서의 제약사항 기반의 인력 할당 방안에 대한 연구link Kang, Dong-Won; 강동원; et al, 한국과학기술원, 2011 |
| Context mining-based fault analysis of collaboration failures in cyber-physical system-of-systems = 사이버 물리 시스템 오브 시스템즈의 협력 실패 분석을 위한 컨텍스트 마이닝 기반 오류 분석 기법link Hyun, Sangwon; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| Continuous verification for system of systems with MAPE-K patterns and model slicing = 시스템 오브 시스템즈 대상 MAPE-K 패턴과 모델 슬라이싱을 사용한 지속적 검증link Song, Jiyoung; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
| Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing Song, Jiyoung; Kang, Jeehoon; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07 |
| Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study Song, Jiyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.206, 2023-12 |
| Cybersecurity vulnerability detection in system of systems using model-checking technique = 모델 체킹을 이용한 시스템 오브 시스템즈 사이버보안 취약성 탐지link Thwe, May Myat; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
| Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing Thwe, May Myat; Belay, Zelalem Mihret; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.317 - 322, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
| Data-driven environment model generation using imitation learning for efficient cyber-physical system goal verification = 효율적인 사이버 물리 시스템 목표 검증을 위한 모방 학습을 사용한 데이터 기반 환경 모델 생성link Shin, Yong-Jun; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| Deobfuscation of machine code using dynamic flow graphs = 동적 흐름 그래프를 이용한 기계 코드의 난독화 해제 기법link Hwang, Joonhyung; Bae, Doo-Hwan; 배두환; Han, Taisook; et al, 한국과학기술원, 2020 |
| Deriving software process simulation model from spem-based software process model Park, Seunghun; Choi, Keung Sik; Yoon, Kyung-A; Bae, Doo-Hwan, 14th Asia Pacific Software Engineering Conference, ASPCE 2007, pp.382 - 389, IEEE, 2007-12-04 |
| Design of Aspectual Refactoring Catalog Kim, Cheol-Ho; Jeon, Sang-Uk; Bae, Doo-Hwan, 한국 소프트웨어공학 학술대회 논문집, pp.262 - 269, 한국 소프트웨어공학회, 2004-02 |
| Design of aspectual refactoring catalog = 관점지향 리팩토링 목록 설계link Kim, Cheol-Ho; 김철호; et al, 한국과학기술원, 2004 |
| Developing a Common Operating Environment for Military Application Kim, Jungyoon; Lee, Joon-Sang; Bae, Doo-Hwan; Ryu, Dong-Kuk; Lee, Sang-Il, Future Trends on Distributed Computing Systems, pp.367 - 373, IEEE, 2003-05 |
| Developing a simulation model using a spem-based process model and analytical models Park, Seunghun; Kim, HyeonJeong; Kang, Dongwon; Bae, Doo-Hwan, 4th International Workshop CIAO, and 4th International Workshop EOMAS, held at CAiSE 2008, pp.164 - 178, CAiSE, 2008-06-16 |
| Developing a software process simulation model using SPEM and analytical models Park, S.; Kim, H.; Kang, D.; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SIMULATION AND PROCESS MODELLING, v.4, no.3-4, pp.223 - 236, 2008 |
| Developing Component Architecture for Telecommunication Systems Kim, Hyung Ho; Bae, Doo-Hwan; Keum, Chang-Sup; Lee, Byung-Sun, Software Enginering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.791 - 798, 2001 |
| Developing Component Architecture for Telecommunication Systems Kim, Hyung Ho; Bae, Doo-Hwan; Keum, Chang-Sup; Lee, Byung-Sun, INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCE, v.2, no.4, pp.191 - 200, 2001-12 |
| Developing Distributed Software Systems by Incorporating Meta-Object Protocol(diMOP) with Unified Modeling Language(UML) Lee, Joon-Sang; Kim, Tae-Ho; Yoon, Gwang Sik; Hong, Jang-Eui; Cha, Sungdeok; Bae, Doo-Hwan, Fourth International Symposium on Autonomous Decentralized Systems, pp.65 - 72, IEEE, 1999-03 |
| Developing platform specific model for MPSoC architecture from UML-based embedded software models Jeon, SU; Hong, JE; Song, IG; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.82, no.10, pp.1695 - 1708, 2009-10 |
| DEVS-based Software Process Simulation Modeling Kim, Tag-Gon; Bae, Doo-Hwan, 6th International Workshop on Software Process Simulation and modeling (ProSim2005), 2005-05 |
| Dimensions of composition models for supporting software evolution Kim, In-Gyu; Marew, Tegegne; Bae, Doo-Hwan; Hong, Jang-Eui; Min, Sang-Yoon, SOFTWARE COMPOSITION BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.4089, pp.211 - 226, 2006 |
| Dimensions of Composition models for Supporting Software Evolution Kim, In-Gyu; Marew, Tegegne; Bae, Doo-Hwan; Hong, Jang-Eui; Min, Sang-Yoon, Lecture Notes in Computer Science, Vol.4089, pp.211-226, 2006-03 |
| Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability Shin, Donghwan; Yoo, Shin; Bae, Doo-Hwan, 9th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016, pp.122 - 131, IEEE Computer Society, 2016-04-11 |
| DNN Model Deployment on Distributed Edges Cho, Eunho; Yoon, Juyeon; Baek, DaeHyeon; Lee, Dongman; Bae, Doo-Hwan, 21st International Conference on Web Engineering (ICWE 2021), 1st International Workshop on Big data driven Edge Cloud Services (BECS 2021), pp.15 - 26, International Conference on Web Engineering, 2021-05-18 |
| Documentation scheme for object oriented frameworks = 객체 지향 프레임워크를 위한 문서화 방안link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 1998 |
| Dynamic profiling-based approach to identifying cost-effective refactorings Han, Ah-Rim; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.55, no.6, pp.966 - 985, 2013-06 |
| Dynamic project performance estimation by combining static estimation models with system dynamics Choi, K; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.1, pp.162 - 172, 2009-01 |
| Dynamically Evolvable Composition of Aspects Based On Relation Model Han, Ik-Joo; Bae, Doo-Hwan, Software Engineering and Knowledge Engineering, pp.0 - 0, SEKE, 2005-07 |
| Efficient noise injection for exposing hidden data races Yu, Misun; Ma, Yu-Seung; Bae, Doo-Hwan, JOURNAL OF SUPERCOMPUTING, v.76, no.1, pp.292 - 323, 2020-01 |
| Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems Lim, Yoo Jin; Jee, Eunkyoung; Shin, Donghwan; Bae, Doo-Hwan, The 39th Annual International Computers, Software & Applications Conference, pp.216 - 221, IEEE Computer Society, 2015-07-03 |
| Empirical evaluation of mutation-based test case prioritization techniques Shin, Donghwan; Yoo, Shin; Papadakis, Mike; Bae, Doo-Hwan, Software Testing, Verification and Reliability, v.29, no.1-2, pp.e1695, 2019-03 |
| Empirical evaluation on FBD model-based test coverage criteria using mutation analysis = 뮤테이션 분석을 이용한 FBD 모델 기반 테스트 범위 기준의 실험적 평가link Shin, Dong-Hwan; 신동환; et al, 한국과학기술원, 2012 |
| Equivalent mutation detection methods for class-level mutation analysis = 클래스 수준 뮤테이션 분석을 위한 동등 뮤턴트 검출 기법link Jang, Won-Ho; 장원호; et al, 한국과학기술원, 2010 |
| Exception and interrupt modeling in UML 2.0 sequence diagrams for embedded software development = 임베디드 소프트웨어 개발을 위한 UML 2.0 시퀀스 다이어그램의 예외상황과 인터럽트 모델링link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2006 |
| Experience base를 이용한 소프트웨어 개발 시 발생하는 Deviation 관리 지원기법 = An approach to supporting deviation management during software development using experience baselink 김성태; Kim, Sung-Tae; et al, 한국과학기술원, 2006 |
| Experimental Performance Comparison of Dynamic Data Race Detection Techniques Yu, Misun; Park, Seung-Min; Chun, Ingeol; Bae, Doo-Hwan, ETRI JOURNAL, v.39, no.1, pp.124 - 134, 2017-02 |
| FBD 및 LD로 구현된 PLC 프로그램의 Verilog 변환을 통한 정형검증 = Formal verification of PLC programs in FBD and LD via verilog translationlink 김병완; Kim, Byong-Wan; et al, 한국과학기술원, 2009 |
| 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 |
| Filtering of inconsistent software project data for analogy-based effort estimation Le-Do, Tuan Khanh; Yoon, Kyung-A; Seo, Yeong-Seok; Bae, Doo-Hwan, 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, pp.503 - 508, IEEE, 2010-07-19 |
| Filtering of inconsistent software project data for analogy-based effort estimation = 추론 기반의 공수 예측을 위한 일관성 없는 소프트웨어 프로젝트 데이터의 제거link Le Do, Tuan Khanh; 레도, 투안칸; et al, 한국과학기술원, 2010 |
| Flexible allocation of timing constraints for real-time object-oriented software design = 실시간 객체 지향 소프트웨어 설계에서의 융통성 있는 시간 제약의 할당link Choi, Kyung-Hwa; 최경화; et al, 한국과학기술원, 1999 |
| Framework for Third Party Testing of Component Software Ma, Yu-Seung; Oh, Seung-Uk; Bae, Doo-Hwan; Kwon, Yong Rae, Asia-Pacific Software Engineering Conference (APSEC '01), pp.431 - 434, IEEE, 2001-12 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,774 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989