Showing results 139 to 198 of 287
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 |
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 |
Discover