1 | A systematic code verification approach for the properties of real-time software model = 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법link Hong, Gwang-Ui; 홍광의; et al, 한국과학기술원, 2014 |
2 | A UML specification matching framework for effective software reuse = 효과적인 소프트웨어 재사용을 위한 UML 스펙 매칭 프레임워크link Park, Wei-Jin; 박외진; et al, 한국과학기술원, 2011 |
3 | (A) client-oriented distribution architecture for web search agent = 웹 정보검색 에이전트를 위한 클라이언트지향 분산 구조link Seung, Hyun-Suk; 승현석; et al, 한국과학기술원, 1996 |
4 | (A) Component composition model for software evolution through dynamic, flexible, and hierarchical composition = 동적, 유연적, 계층적 결합에 의한 소프트웨어 진화를 지원하는 컴포넌트 결합 모델link Kim, In-yu; 김인규; et al, 한국과학기술원, 2008 |
5 | (A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법link Jee, Eun-Kyoung; 지은경; et al, 한국과학기술원, 2009 |
6 | (A) feature based software modelling by dependency alignment for levelled maintenance = 의존성 정렬을 이용한 기능 기반의 소프트웨어 구축방안 연구link Kim, Jung-Yoon; 김정윤; et al, 한국과학기술원, 2006 |
7 | (A) goal-oriented testing approach for system of systems using task models = 시스템 오브 시스템즈를 위한 태스크 모델 기반 목표 지향 테스팅 기법link Lee, Cheonghyun; 이정현; et al, 한국과학기술원, 2016 |
8 | (A) pattern-based approach to identifying and correcting outliers in software project data = 소프트웨어 프로젝트 데이터에 대한 패턴 기반의 이상치 검출 및 정제 기법link Yoon, Kyung-A; 윤경아; et al, 한국과학기술원, 2010 |
9 | (A) plugin-based framework for supporting GUI application testing = 그래픽 사용자 인터페이스 어플리케이션 테스팅 지원을 위한 플러그인 기반 프레임워크link Bae, Gigon; 배기곤; Bae, Doo-Hwan; 배두환; et al, 한국과학기술원, 2014 |
10 | (A) simulation-based behavior analysis for MCI response system of systems = 시뮬레이션 기반 다중 손상사고 대응 시스템 오브 시스템즈 행동 분석link Park, Sumin; Bae, Doo-Hwan; et al, 한국과학기술원, 2019 |
11 | (A) software process modeling framework based on meta process model = 메타 프로세스 모델에 기반한 소프트웨어 프로세스 모델링 프레임워크link Min, Sang-Yoon; 민상윤; et al, 한국과학기술원, 2003 |
12 | (A) user experience modeling and evaluation framework for mobile usability = 모바일 사용성을 위한 UX 설계 및 평가 프레임워크link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2017 |
13 | (A) visual architecture description language for distributed software design = 분산 소프트웨어 설계를 지원하는 시각적 아키텍처 기술 언어link Chung, In-Bok; 정인복; et al, 한국과학기술원, 2000 |
14 | $ABC^+$ : a simulation modeling approach for decision-making incorporating interaction in system of systems = ABC+ : 상호작용을 고려한 의사결정에 대한 시스템 오브 시스템즈 시뮬레이션 모델링 기법link Jin, Mingyu; Bae, Doo-Hwan; et al, 한국과학기술원, 2018 |
15 | An approach to analyzing the software process change impact using process slicing and simulation = 프로세스 슬라이싱과 시뮬레이션을 이용한 소프트웨어 프로세스 변경 영향 분석 연구link Park, Seung-Hun; 박승훈; et al, 한국과학기술원, 2011 |
16 | An empirical study of supplementary bug fixes = 부가적인 버그 수정에 대한 경험적 연구link Park, Ji-Hun; 박지훈; et al, 한국과학기술원, 2012 |
17 | An internet worm detector for personal computers = 개인 PC 보안을 위한 인터넷 웜 탐지 기법link Seo, Jeong-Seok; 서정석; et al, 한국과학기술원, 2013 |
18 | (An) approach to automatically identifying design structure for applying design pattern = 디자인 패턴 적용을 위한 설계 구조의 자동 추출 기법link Jeon, Sang-Uk; 전상욱; et al, 한국과학기술원, 2003 |
19 | (An) approach to generating web applications from scenarios = 시나리오 명세에 기반한 웹 어플리케이션 자동 생성 기법link Cho, Sung-Chan; 조성찬; et al, 한국과학기술원, 2001 |
20 | (An) approach to probabilistic effort estimation for military avionics software maintenance = 국방 항공소프트웨어 정비를 위한 확률 기반의 공수(工數) 예측에 대한 연구link Song, Tae-Hoon; 송태훈; et al, 한국과학기술원, 2008 |
21 | (An) approach to subject-oriented software composition based on relation model = 관계 모델에 기반한 subject 지향 소프트웨어 조합 기법link Han, Ik-Joo; 한익주; et al, 한국과학기술원, 2005 |
22 | (An) approach to tailoring and verifying software process = 소프트웨어 프로세스 맞춤화 및 검증 기법link Yoon, Il-Chul; 윤일철; et al, 한국과학기술원, 2001 |
23 | (An) empirical analysis of software effort estimation with outlier elimination = 이상치 데이터의 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석link Seo, Yeong-Seok; 서영석; et al, 한국과학기술원, 2008 |
24 | (An) enhanced role model for alleviating the role-binding anomaly = 객체 역할 결합모순을 완화하기 위한 진보된 객체 역할모델link Lee, Joon-Sang; 이준상; et al, 한국과학기술원, 2003 |
25 | Analyzing the characteristics of incremental software development by using simulation = 시뮬레이션을 이용한 점진적 스포트웨어 개발의 특징 분석link Kim, Hyeon-Jeong; 김현정; et al, 한국과학기술원, 2007 |
26 | Anomaly-aware adaptation approach for self-adaptive cyber-physical system of systems using reinforcement learning = 강화학습 기반 자가 적응 사이버 물리 시스템 오브 시스템즈의 변칙 고려 적응 기법link Cho, Eunho; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
27 | Automated model-based android GUI testing using multi-level GUI comparison criteria = 다중 레벨 GUI 비교 기준을 이용한 모델 기반의 자동화 안드로이드 GUI 테스팅link Baek, Youngmin; 백영민; et al, 한국과학기술원, 2016 |
28 | Automated mutation-adequate test generation for function block diagram programs = Function block diagram 프로그램에 대한 뮤테이션 기반 자동 테스트 생성link Liu, Lingjun; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
29 | Automated scheduling for clone based refactoring = 클론에 바탕을 둔 리팩토링을 위한 자동 스케줄링 기법link Lee, Suk-Hee; 이숙희; et al, 한국과학기술원, 2011 |
30 | Automated test sequence generation for FBD programs = FBD 프로그램을 위한 테스트 시퀀스 생성 자동화 연구link Song, Ji Young; 송지영; et al, 한국과학기술원, 2016 |
31 | Automatic construction of timing diagrams from UML/MARTE behavioral models for real-time embedded software = 실시간 임베디드 소프트웨어를 위한 UML/MARTE 행위 모델로 부터의 타이밍 다이어그램 자동생성 기법link Nguyen, Minh Chau; Nguyen, Minh Chau; et al, 한국과학기술원, 2013 |
32 | Automatic fuzzing grammar generation through API-level symbolic execution = API-level의 symbolic execution을 통한 fuzzing grammar 자동 생성 연구link Kim, Su Yong; 김수용; et al, 한국과학기술원, 2011 |
33 | Automatic generation of metamorphic relations for a Cyber-Physical System-of-Systems using genetic algorithm = 유전 알고리즘을 사용한 사이버 물리 시스템 오브 시스템즈의 메타모픽 관계 생성 자동화 기법link Cho, Esther Kim; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
34 | Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems 조미현; 김한수; 신용준; 배두환, 2022년 한국컴퓨터종합학술대회 (KCC2022), 한국컴퓨터종합학술대회, 2022-06-29 |
35 | Behavioral composition for compatible software module evolution = 안정적 소프트웨어 모듈 진화를 위한 객체 행위 합성link Lee, Sun-Ae; 이선애; et al, 한국과학기술원, 2004 |
36 | Behavioral dependency measurement in UML 2.0 sequence diagrams for change-proneness prediction = 변경 경향성 예측을 위한 UML 2.0 시퀀스 다이어그램에서의 행위 의존도 측정link Han, Ah-Rim; 한아림; et al, 한국과학기술원, 2007 |
37 | CBD 방법론 비교 분석 전상욱; 김인규; 김정윤; 윤경아; 배두환, 정보처리학회지, v.10, no.3, pp.30 - 39, 2003-05 |
38 | CMMI를 기반으로 확장된 SPEM 프로파일을 이용한 프로세스 모델링과 테일러링 박승훈; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, pp.316 - 327, KCSE, 2005-02 |
39 | Collaborative editing of JSON objects based on operational transformation = Operational Transformation에 기반한 JSON 객체의 협업 편집 기법link Braunlich, Ronny; Bae, Doo Hwan; et al, 한국과학기술원, 2017 |
40 | Combination-based multivariate time-series clustering for collision analysis of platooning system of systems = 차량 군집 주행 시스템 오브 시스템즈의 충돌 분석을 위한 조합 기반 다변수 시계열 데이터 군집화link Kim, Hansu; Bae, Doohwan; et al, 한국과학기술원, 2023 |
41 | Compatibility-Guaranteeing Software Component Evolution based on Composition Rules 이선애; 이준상; 배두환, 한국정보과학회 2003년도 봄 학술대회, v.30, no.1, pp.10 - 12, 한국정보과학회, 2003-04 |
42 | Concept analysis techniques for software modularization = 소프트웨어 모듈화를 위한 개념 분석 기법link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 2008 |
43 | Conceptual framework and extensible modeling method supporting ontology-based scenario specification = 온톨로지 기반의 시나리오 명세를 지원하는 개념 프레임워크와 확장 가능 모델링 기법link Baek, Young-Min; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
44 | Constraint-based human resource allocation in software projects = 소프트웨어 프로젝트에서의 제약사항 기반의 인력 할당 방안에 대한 연구link Kang, Dong-Won; 강동원; et al, 한국과학기술원, 2011 |
45 | Context mining-based fault analysis of collaboration failures in cyber-physical system-of-systems = 사이버 물리 시스템 오브 시스템즈의 협력 실패 분석을 위한 컨텍스트 마이닝 기반 오류 분석 기법link Hyun, Sangwon; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
46 | Continuous verification for system of systems with MAPE-K patterns and model slicing = 시스템 오브 시스템즈 대상 MAPE-K 패턴과 모델 슬라이싱을 사용한 지속적 검증link Song, Jiyoung; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
47 | Cybersecurity vulnerability detection in system of systems using model-checking technique = 모델 체킹을 이용한 시스템 오브 시스템즈 사이버보안 취약성 탐지link Thwe, May Myat; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
48 | 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 |
49 | Deobfuscation of machine code using dynamic flow graphs = 동적 흐름 그래프를 이용한 기계 코드의 난독화 해제 기법link Hwang, Joonhyung; Bae, Doo-Hwan; 배두환; Han, Taisook; et al, 한국과학기술원, 2020 |
50 | Design of aspectual refactoring catalog = 관점지향 리팩토링 목록 설계link Kim, Cheol-Ho; 김철호; et al, 한국과학기술원, 2004 |
51 | Diversity-aware mutation adequacy criterion for improving the fault detection capability of test suites = 테스트 집합의 오류 검출 능력 향상을 위하여 다양성을 고려한 뮤테이션 충분성 기준link Shin, Donghwan; Bae, Doo Hwan; et al, 한국과학기술원, 2018 |
52 | Documentation scheme for object oriented frameworks = 객체 지향 프레임워크를 위한 문서화 방안link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 1998 |
53 | Dynamic composition of functionality using code mobility for autonomous objects = 자율적 객체에서의 코드 이동성을 이용한 동적 기능 합성link Kim, In-Gyu; 김인규; et al, 한국과학기술원, 2000 |
54 | Efficient and accurate eigen-decomposition of large-scale PSD matrices via sample subspace compression = 샘플 부분 공간 압축을 통한 효율적이고 정확한 대규모 양의 준정부호 행렬 고유 분해link Lim, Woosang; 임우상; Bae, Doo Hwan; 배두환; et al, 한국과학기술원, 2017 |
55 | Efficient verification method to eliminate emergent behaviors of the scenario specifications = 시나리오 명세서에 존재하는 돌발 행위 제거를 위한 효율적인 검증 방법link Song, Ingwon; 송인권; et al, 한국과학기술원, 2017 |
56 | Empirical evaluation on FBD model-based test coverage criteria using mutation analysis = 뮤테이션 분석을 이용한 FBD 모델 기반 테스트 범위 기준의 실험적 평가link Shin, Dong-Hwan; 신동환; et al, 한국과학기술원, 2012 |
57 | Equivalent mutation detection methods for class-level mutation analysis = 클래스 수준 뮤테이션 분석을 위한 동등 뮤턴트 검출 기법link Jang, Won-Ho; 장원호; et al, 한국과학기술원, 2010 |
58 | ESUML: UML 기반 임베디드 소프트웨어 모델링 방법론 전상욱; 이희진; 홍장의; 배두환, 한국정보과학회 추계학술대회, v.33, no.2, pp.343 - 345, 한국정보과학회, 2005-11 |
59 | Exception and interrupt modeling in UML 2.0 sequence diagrams for embedded software development = 임베디드 소프트웨어 개발을 위한 UML 2.0 시퀀스 다이어그램의 예외상황과 인터럽트 모델링link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2006 |
60 | Experience base를 이용한 소프트웨어 개발 시 발생하는 Deviation 관리 지원기법 = An approach to supporting deviation management during software development using experience baselink 김성태; Kim, Sung-Tae; et al, 한국과학기술원, 2006 |