Browse "School of Computing(전산학부)" by Author Bae, Doo-Hwan
Showing results 146 to 205 of 286
| 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 |
| Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems Lee, Sungjin; Baek, Young-Min; Hyun, Sangwon; Bae, Doo-Hwan, 16th International System of Systems Engineering Conference, SoSE 2021, pp.144 - 149, Institute of Electrical and Electronics Engineers Inc., 2021-06 |
| Graph-based supplementary patch recommendation and software reliability prediction by mining software repositories = 소프트웨어 저장소 마이닝을 통한 그래프 기반 부가적인 수정 추천 및 소프트웨어 신뢰성 예측link Park, Jihun; 박지훈; et al, 한국과학기술원, 2016 |
| Hands-On Field Operational Test Dataset of a Multi-Controller CPS: A Modeled Case Study on Autonomous Driving Shin, Yong-Jun; Cho, Esther; Kim, Hansu; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.205 - 212, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
| Hierarchical object-oriented Petri net for scenario-based functional behaviors modeling = 시나리오 기반의 기능적 행위 모델링을 위한 계층 구조의 객체지향 페트리 넷link Hong, Jang-Eui; 홍장의; et al, 한국과학기술원, 2001 |
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 |
| Hybrid imputation of cluster-based k-NN and maximum likelihood estimation in software project data = 군집기반 k-NN과 최대우도추정법을 결합한 소프트웨어 프로젝트 데이터용 하이브리드 대치법link Lee, Dong-Ho; 이동호; et al, 한국과학기술원, 2009 |
| Hybrid software process simulation modeling for analyzing software-intensive system acquisition = 소프트웨어 획득 프로세스 분석을 위한 하이브리드 시뮬레이션 기법link Choi, Keung-Sik; 최경식; et al, 한국과학기술원, 2007 |
| Identification and selection of refactorings for improving maintainability of object-oriented software = 객체지향 소프트웨어의 유지보수성 향상을 위한 리팩토링 식별 및 선택 방법에 대한 연구link Han, Ah-Rim; 한아림; et al, 한국과학기술원, 2013 |
| 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 |
| Identifying properties of UML state machine diagrams that affect data and control dependence Kim, Hyun Jeong; Debroy, Vidroha; Bae, Doo-Hwan, 26th Annual ACM Symposium on Applied Computing, SAC 2011, pp.1464 - 1469, ACM, 2011-03-21 |
| Implied scenario analysis in UML 2.0 scenario specfication Song, In-Gwon; Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Conference on System Integration and reliability Improvements, v.1, no.1, IEEE Computer Society, 2006-12 |
| Implied scenario analysis in UML 2.0 scenario specification Song, In-Gwon; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, International Conference on System Integration and Reliability Improvement, SIRI, 2006-12 |
| Implied scenario analysis in UML 2.0 scenario specification = UML 2.0 시나리오 명세에 내재된 시나리오 분석기법link Song, In-Gwon; 송인권; et al, 한국과학기술원, 2007 |
| 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 |
| Improving the accuracy of software effort estimation based on multiple least square regression models by estimation error-based data partitioning Seo, Yeong-Seok; Yoon, Kyung-A; Bae, Doo-Hwan, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, pp.3 - 10, 123, 2009-12-01 |
| Improving the accuracy of software effort estimation based on multiple regressions by adaptive recursive data partitioning = 적응형 재귀 데이터 분할법에 의한 다중 회귀식 기반의 소프트웨어 공수 예측 정확도 향상link Seo, Yeong-Seok; 서영석; et al, 한국과학기술원, 2012 |
| 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 |
| Influence-directed policy generation using reinforcement learning for collaborations in system of systems = 시스템 오브 시스템즈의 협업을 위한 강화학습 기반 영향 지향적 정책 생성 기법link Belay, Zelalem Mihret; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| 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 |
| Interaction-Based Behavior Modeling of Embedded Software Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Symposum on Object and Component-Oriented Real-Time Distributed Computing, pp.351 - 358, 2006 |
| Interaction-based behavior modeling of embedded software using UML 2.0 Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006, pp.351 - 355, IEEE, 2006-04-24 |
| 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 |
| Mam nets: A Petri-net based Approach to Software Process Modeling, Analysis, and Management Min, Sang-Yoon; Bae, Doo-Hwan, International Conference of Software Engineering and Knowledge Engineering, pp.78 - 86, 1997 |
| Management of Workflow over the Web Supporting Distributed Process Evolution Min, Sang-Yoon; Bae, Doo-Hwan; Cho, Sung-Chan; Nam, Young-Kwang, LNCS1749: ICSC'99, v.1749, pp.367 - 372, Springer Verlag (Germany), 1999-12 |
| 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 |
| Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink 김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000 |
| Metamorphic testing for reliability in system of systems = 시스템 오브 시스템즈의 신뢰성을 위한 메타모픽 테스팅link Kiat Kian, Anthony Chua; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
| Metamorphic Testing for Reliability in System of Systems Chua, Kiat Kian Anthony; Bae, Doo-Hwan; Jee, Eunkyoung, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), pp.390 - 400, IEEE, 2021-12 |
| 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 |
| Model-Based Project Process Analysis Using Project Tracking Data Yoon, Kyung-A; Min, Sang-Yoon; Bae, Doo-Hwan, Lecture Notes in Computer Science, Vol.3026, pp.148-167, 2003-06 |
| Model-based system of systems verification considering selfishness = 이기성을 고려한 모델 기반 시스템 오브 시스템즈 검증 연구link Kim, Junho; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
| Modeling and performance evaluation of UML-based platform independent models for MPSoC embedded software = MPSoC 내장형 소프트웨어의 UML 기반 플랫폼 독립적 모델링 및 성능 분석 기법link Jeon, Sang-Uk; 전상욱; et al, 한국과학기술원, 2010 |
| Modeling and verification for different types of system of systems using PRISM Seo, Dongwon; Shin, Donghwan; Baek, Young-Min; Song, Jiyoung; Yun, Wonkyung; Kim, Junho; Jee, Eunkyoung; et al, 4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18, Association for Computing Machinery, Inc, 2016-05-16 |
| Modeling the Unexpected behaviors of Embedded Software using UML Sequence Diagrams Lee, Hee-Jin; Song, In-Gwon; Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Conference on Softwre and Data Technology, 2006 |
| Modelling the unexpected behaviours of embedded software using UML sequence diagrams Lee, Hee-Jin; Song, In-Gwon; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, 1st International Conference on Software and Data Technologies, ICSOFT 2006, pp.257 - 262, ICSOFT, 2006-09-11 |
| 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 |
| Mutation analysis for system of systems policy = 시스템 오브 시스템즈 정책을 위한 뮤테이션 분석 기법link Yun, Wonkyung; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
| Mutation Analysis for System of Systems Policy Testing Yun, Wonkyung; Shin, Donghwan; Bae, Doo-Hwan, 5th IEEE/ACM Joint International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems, JSOS 2017, pp.16 - 22, Institute of Electrical and Electronics Engineers Inc., 2017-05-23 |
| 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 |
| Object-oriented methodology based on a high-level meta-object protocol (diMOP) for developing distributed software systems = 분산 소프트웨어 시스템 개발을 위한 메타오브젝트 프로토콜 기반 객체지향 기법link Lee, Joon-Sang; 이준상; et al, 한국과학기술원, 1999 |
| Object-oriented model refinement technique in software reengineering = 소프트웨어 재공학에서의 객체 모델 정제 기법link Park, Wei-Jin; 박외진; et al, 한국과학기술원, 1998 |
| Object-oriented model refinement technique in software reengineering Park, Wei-Jin; Min, Sang-Yoon; Bae, Doo-Hwan; Mah Pyeong-Soo, 1998 IEEE 22nd Annual International Computer Software & Applications Conference, pp.32 - 38, IEEE, 1998-08-19 |
| 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 |
| PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems Shin, Yong-Jun; Cho, Eunho; Bae, Doo-Hwan, 24th International Conference on Fundamental Approaches to Software Engineering, pp.292 - 312, Springer International Publishing, 2021-03-29 |
| Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Baek, Young-Min; Bae, Doo-Hwan, 27th Asia-Pacific Software Engineering Conference (APSEC), pp.326 - 335, IEEE COMPUTER SOC, 2020-12 |
| 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 |
| Personalized primary port: Analysis of user view for the smart environment Park, Wei-Jin; Kim, Junhwan; Bae, Doo-Hwan, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, pp.989 - 997, ICAT'06, 2006-11-29 |
| Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems Shin, Yong Jun; Liu, Lingjun; Hyun, Sangwon; Bae, Doo-Hwan, 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021, pp.231 - 237, Institute of Electrical and Electronics Engineers Inc., 2021-05 |
| Practical Human Resource Allocation in Software Projects Using Genetic Algorithm Park, Jihun; Seo, Dongwon; Hong, Gwangui; Shin, Donghwan; Hwa, Jimin; Bae, Doo-Hwan, 26th International Conference on Software Engineering and Knowledge Engineering, pp.688 - 694, International Conference on Software Engineering and Knowledge Engineering, 2014-07 |
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