| 1 | A UML specification matching framework for effective software reuse = 효과적인 소프트웨어 재사용을 위한 UML 스펙 매칭 프레임워크link Park, Wei-Jin; 박외진; et al, 한국과학기술원, 2011 |
| 2 | (A) Component composition model for software evolution through dynamic, flexible, and hierarchical composition = 동적, 유연적, 계층적 결합에 의한 소프트웨어 진화를 지원하는 컴포넌트 결합 모델link Kim, In-yu; 김인규; et al, 한국과학기술원, 2008 |
| 3 | (A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법link Jee, Eun-Kyoung; 지은경; et al, 한국과학기술원, 2009 |
| 4 | (A) feature based software modelling by dependency alignment for levelled maintenance = 의존성 정렬을 이용한 기능 기반의 소프트웨어 구축방안 연구link Kim, Jung-Yoon; 김정윤; et al, 한국과학기술원, 2006 |
| 5 | (A) pattern-based approach to identifying and correcting outliers in software project data = 소프트웨어 프로젝트 데이터에 대한 패턴 기반의 이상치 검출 및 정제 기법link Yoon, Kyung-A; 윤경아; et al, 한국과학기술원, 2010 |
| 6 | (A) plugin-based framework for supporting GUI application testing = 그래픽 사용자 인터페이스 어플리케이션 테스팅 지원을 위한 플러그인 기반 프레임워크link Bae, Gigon; 배기곤; Bae, Doo-Hwan; 배두환; et al, 한국과학기술원, 2014 |
| 7 | (A) software process modeling framework based on meta process model = 메타 프로세스 모델에 기반한 소프트웨어 프로세스 모델링 프레임워크link Min, Sang-Yoon; 민상윤; et al, 한국과학기술원, 2003 |
| 8 | (A) user experience modeling and evaluation framework for mobile usability = 모바일 사용성을 위한 UX 설계 및 평가 프레임워크link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2017 |
| 9 | An approach to analyzing the software process change impact using process slicing and simulation = 프로세스 슬라이싱과 시뮬레이션을 이용한 소프트웨어 프로세스 변경 영향 분석 연구link Park, Seung-Hun; 박승훈; et al, 한국과학기술원, 2011 |
| 10 | An internet worm detector for personal computers = 개인 PC 보안을 위한 인터넷 웜 탐지 기법link Seo, Jeong-Seok; 서정석; et al, 한국과학기술원, 2013 |
| 11 | (An) approach to subject-oriented software composition based on relation model = 관계 모델에 기반한 subject 지향 소프트웨어 조합 기법link Han, Ik-Joo; 한익주; et al, 한국과학기술원, 2005 |
| 12 | (An) enhanced role model for alleviating the role-binding anomaly = 객체 역할 결합모순을 완화하기 위한 진보된 객체 역할모델link Lee, Joon-Sang; 이준상; et al, 한국과학기술원, 2003 |
| 13 | Automated scheduling for clone based refactoring = 클론에 바탕을 둔 리팩토링을 위한 자동 스케줄링 기법link Lee, Suk-Hee; 이숙희; et al, 한국과학기술원, 2011 |
| 14 | Automatic fuzzing grammar generation through API-level symbolic execution = API-level의 symbolic execution을 통한 fuzzing grammar 자동 생성 연구link Kim, Su Yong; 김수용; et al, 한국과학기술원, 2011 |
| 15 | Concept analysis techniques for software modularization = 소프트웨어 모듈화를 위한 개념 분석 기법link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 2008 |
| 16 | Conceptual framework and extensible modeling method supporting ontology-based scenario specification = 온톨로지 기반의 시나리오 명세를 지원하는 개념 프레임워크와 확장 가능 모델링 기법link Baek, Young-Min; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| 17 | Constraint-based human resource allocation in software projects = 소프트웨어 프로젝트에서의 제약사항 기반의 인력 할당 방안에 대한 연구link Kang, Dong-Won; 강동원; et al, 한국과학기술원, 2011 |
| 18 | Context mining-based fault analysis of collaboration failures in cyber-physical system-of-systems = 사이버 물리 시스템 오브 시스템즈의 협력 실패 분석을 위한 컨텍스트 마이닝 기반 오류 분석 기법link Hyun, Sangwon; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| 19 | Continuous verification for system of systems with MAPE-K patterns and model slicing = 시스템 오브 시스템즈 대상 MAPE-K 패턴과 모델 슬라이싱을 사용한 지속적 검증link Song, Jiyoung; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
| 20 | 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 |
| 21 | Deobfuscation of machine code using dynamic flow graphs = 동적 흐름 그래프를 이용한 기계 코드의 난독화 해제 기법link Hwang, Joonhyung; Bae, Doo-Hwan; 배두환; Han, Taisook; et al, 한국과학기술원, 2020 |
| 22 | Graph-based supplementary patch recommendation and software reliability prediction by mining software repositories = 소프트웨어 저장소 마이닝을 통한 그래프 기반 부가적인 수정 추천 및 소프트웨어 신뢰성 예측link Park, Jihun; 박지훈; et al, 한국과학기술원, 2016 |
| 23 | Hierarchical object-oriented Petri net for scenario-based functional behaviors modeling = 시나리오 기반의 기능적 행위 모델링을 위한 계층 구조의 객체지향 페트리 넷link Hong, Jang-Eui; 홍장의; et al, 한국과학기술원, 2001 |
| 24 | Hybrid software process simulation modeling for analyzing software-intensive system acquisition = 소프트웨어 획득 프로세스 분석을 위한 하이브리드 시뮬레이션 기법link Choi, Keung-Sik; 최경식; et al, 한국과학기술원, 2007 |
| 25 | Identification and selection of refactorings for improving maintainability of object-oriented software = 객체지향 소프트웨어의 유지보수성 향상을 위한 리팩토링 식별 및 선택 방법에 대한 연구link Han, Ah-Rim; 한아림; et al, 한국과학기술원, 2013 |
| 26 | Improving the accuracy of software effort estimation based on multiple regressions by adaptive recursive data partitioning = 적응형 재귀 데이터 분할법에 의한 다중 회귀식 기반의 소프트웨어 공수 예측 정확도 향상link Seo, Yeong-Seok; 서영석; et al, 한국과학기술원, 2012 |
| 27 | Influence-directed policy generation using reinforcement learning for collaborations in system of systems = 시스템 오브 시스템즈의 협업을 위한 강화학습 기반 영향 지향적 정책 생성 기법link Belay, Zelalem Mihret; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| 28 | Modeling and performance evaluation of UML-based platform independent models for MPSoC embedded software = MPSoC 내장형 소프트웨어의 UML 기반 플랫폼 독립적 모델링 및 성능 분석 기법link Jeon, Sang-Uk; 전상욱; et al, 한국과학기술원, 2010 |
| 29 | Tactics based approach for integrating non-functional requirements in object-oriented analysis and design = 객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법link Zewdie, Tegegne Marew; Tegegne M.Z.; et al, 한국과학기술원, 2014 |
| 30 | Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
| 31 | Visualization and formalization of user constraints for a tight estimation of worst-case execution time = 정확한 최장수행시간 예측을 위한 사용자 제약사항의 시각화 및 정형화link Lee, Jong-In; 이종인; et al, 한국과학기술원, 2009 |
