| 1 | A systematic code verification approach for the properties of real-time software model = 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법link Hong, Gwang-Ui; 홍광의; et al, 한국과학기술원, 2014 |
| 2 | (A) goal-oriented testing approach for system of systems using task models = 시스템 오브 시스템즈를 위한 태스크 모델 기반 목표 지향 테스팅 기법link Lee, Cheonghyun; 이정현; et al, 한국과학기술원, 2016 |
| 3 | (A) simulation-based behavior analysis for MCI response system of systems = 시뮬레이션 기반 다중 손상사고 대응 시스템 오브 시스템즈 행동 분석link Park, Sumin; Bae, Doo-Hwan; et al, 한국과학기술원, 2019 |
| 4 | $ABC^+$ : a simulation modeling approach for decision-making incorporating interaction in system of systems = ABC+ : 상호작용을 고려한 의사결정에 대한 시스템 오브 시스템즈 시뮬레이션 모델링 기법link Jin, Mingyu; Bae, Doo-Hwan; et al, 한국과학기술원, 2018 |
| 5 | An empirical study of supplementary bug fixes = 부가적인 버그 수정에 대한 경험적 연구link Park, Ji-Hun; 박지훈; et al, 한국과학기술원, 2012 |
| 6 | (An) approach to automatically identifying design structure for applying design pattern = 디자인 패턴 적용을 위한 설계 구조의 자동 추출 기법link Jeon, Sang-Uk; 전상욱; et al, 한국과학기술원, 2003 |
| 7 | (An) approach to generating web applications from scenarios = 시나리오 명세에 기반한 웹 어플리케이션 자동 생성 기법link Cho, Sung-Chan; 조성찬; et al, 한국과학기술원, 2001 |
| 8 | (An) approach to probabilistic effort estimation for military avionics software maintenance = 국방 항공소프트웨어 정비를 위한 확률 기반의 공수(工數) 예측에 대한 연구link Song, Tae-Hoon; 송태훈; et al, 한국과학기술원, 2008 |
| 9 | (An) approach to tailoring and verifying software process = 소프트웨어 프로세스 맞춤화 및 검증 기법link Yoon, Il-Chul; 윤일철; et al, 한국과학기술원, 2001 |
| 10 | (An) empirical analysis of software effort estimation with outlier elimination = 이상치 데이터의 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석link Seo, Yeong-Seok; 서영석; et al, 한국과학기술원, 2008 |
| 11 | Analyzing the characteristics of incremental software development by using simulation = 시뮬레이션을 이용한 점진적 스포트웨어 개발의 특징 분석link Kim, Hyeon-Jeong; 김현정; et al, 한국과학기술원, 2007 |
| 12 | Anomaly-aware adaptation approach for self-adaptive cyber-physical system of systems using reinforcement learning = 강화학습 기반 자가 적응 사이버 물리 시스템 오브 시스템즈의 변칙 고려 적응 기법link Cho, Eunho; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
| 13 | Automated model-based android GUI testing using multi-level GUI comparison criteria = 다중 레벨 GUI 비교 기준을 이용한 모델 기반의 자동화 안드로이드 GUI 테스팅link Baek, Youngmin; 백영민; et al, 한국과학기술원, 2016 |
| 14 | Automated mutation-adequate test generation for function block diagram programs = Function block diagram 프로그램에 대한 뮤테이션 기반 자동 테스트 생성link Liu, Lingjun; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
| 15 | Automated test sequence generation for FBD programs = FBD 프로그램을 위한 테스트 시퀀스 생성 자동화 연구link Song, Ji Young; 송지영; et al, 한국과학기술원, 2016 |
| 16 | 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 |
| 17 | Behavioral composition for compatible software module evolution = 안정적 소프트웨어 모듈 진화를 위한 객체 행위 합성link Lee, Sun-Ae; 이선애; et al, 한국과학기술원, 2004 |
| 18 | Behavioral dependency measurement in UML 2.0 sequence diagrams for change-proneness prediction = 변경 경향성 예측을 위한 UML 2.0 시퀀스 다이어그램에서의 행위 의존도 측정link Han, Ah-Rim; 한아림; et al, 한국과학기술원, 2007 |
| 19 | Cybersecurity vulnerability detection in system of systems using model-checking technique = 모델 체킹을 이용한 시스템 오브 시스템즈 사이버보안 취약성 탐지link Thwe, May Myat; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
| 20 | Design of aspectual refactoring catalog = 관점지향 리팩토링 목록 설계link Kim, Cheol-Ho; 김철호; et al, 한국과학기술원, 2004 |
| 21 | Documentation scheme for object oriented frameworks = 객체 지향 프레임워크를 위한 문서화 방안link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 1998 |
| 22 | Empirical evaluation on FBD model-based test coverage criteria using mutation analysis = 뮤테이션 분석을 이용한 FBD 모델 기반 테스트 범위 기준의 실험적 평가link Shin, Dong-Hwan; 신동환; et al, 한국과학기술원, 2012 |
| 23 | Equivalent mutation detection methods for class-level mutation analysis = 클래스 수준 뮤테이션 분석을 위한 동등 뮤턴트 검출 기법link Jang, Won-Ho; 장원호; et al, 한국과학기술원, 2010 |
| 24 | Exception and interrupt modeling in UML 2.0 sequence diagrams for embedded software development = 임베디드 소프트웨어 개발을 위한 UML 2.0 시퀀스 다이어그램의 예외상황과 인터럽트 모델링link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2006 |
| 25 | Experience base를 이용한 소프트웨어 개발 시 발생하는 Deviation 관리 지원기법 = An approach to supporting deviation management during software development using experience baselink 김성태; Kim, Sung-Tae; et al, 한국과학기술원, 2006 |
| 26 | FBD 및 LD로 구현된 PLC 프로그램의 Verilog 변환을 통한 정형검증 = Formal verification of PLC programs in FBD and LD via verilog translationlink 김병완; Kim, Byong-Wan; et al, 한국과학기술원, 2009 |
| 27 | Filtering of inconsistent software project data for analogy-based effort estimation = 추론 기반의 공수 예측을 위한 일관성 없는 소프트웨어 프로젝트 데이터의 제거link Le Do, Tuan Khanh; 레도, 투안칸; et al, 한국과학기술원, 2010 |
| 28 | Flexible allocation of timing constraints for real-time object-oriented software design = 실시간 객체 지향 소프트웨어 설계에서의 융통성 있는 시간 제약의 할당link Choi, Kyung-Hwa; 최경화; et al, 한국과학기술원, 1999 |
| 29 | Hybrid imputation of cluster-based k-NN and maximum likelihood estimation in software project data = 군집기반 k-NN과 최대우도추정법을 결합한 소프트웨어 프로젝트 데이터용 하이브리드 대치법link Lee, Dong-Ho; 이동호; et al, 한국과학기술원, 2009 |
| 30 | Implied scenario analysis in UML 2.0 scenario specification = UML 2.0 시나리오 명세에 내재된 시나리오 분석기법link Song, In-Gwon; 송인권; et al, 한국과학기술원, 2007 |
| 31 | Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink 김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000 |
| 32 | Metamorphic testing for reliability in system of systems = 시스템 오브 시스템즈의 신뢰성을 위한 메타모픽 테스팅link Kiat Kian, Anthony Chua; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
| 33 | Model-based system of systems verification considering selfishness = 이기성을 고려한 모델 기반 시스템 오브 시스템즈 검증 연구link Kim, Junho; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
| 34 | Mutation analysis for system of systems policy = 시스템 오브 시스템즈 정책을 위한 뮤테이션 분석 기법link Yun, Wonkyung; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
| 35 | Object-oriented methodology based on a high-level meta-object protocol (diMOP) for developing distributed software systems = 분산 소프트웨어 시스템 개발을 위한 메타오브젝트 프로토콜 기반 객체지향 기법link Lee, Joon-Sang; 이준상; et al, 한국과학기술원, 1999 |
| 36 | Object-oriented model refinement technique in software reengineering = 소프트웨어 재공학에서의 객체 모델 정제 기법link Park, Wei-Jin; 박외진; et al, 한국과학기술원, 1998 |
| 37 | Quality based software project staffing and scheduling with time bound = 소프트웨어 품질과 제한 시간을 고려한 프로젝트 계획 생성 방법link Seo, Dong-Won; 서동원; et al, 한국과학기술원, 2014 |
| 38 | Refactoring for scalability in server components = 서버 컴포넌트의 확장성을 위한 재구성 기법link Kwon, Jae-Eun; 권재은; et al, 한국과학기술원, 2001 |
| 39 | Selecting candidate component best matching specification from a component library = 컴포넌트 라이브러리로부터 명세에 가장 근접한 후보 컴포넌트 추출 기법link Tegegne, Marew; 마로; et al, 한국과학기술원, 2003 |
| 40 | Simulation-based integration testing for multiple PLCs in reactor protection system = 원자로 보호계통의 다중 PLC를 위한 시뮬레이션 기반 통합 테스팅link Eun, Hyeongseok; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| 41 | Software fault predictors for web applications = 웹 어플리케이션을 위한 소프트웨어 결함 예측 지표에 대한 연구link Le, Truong Giang; 레, 트롱 장; et al, 한국과학기술원, 2010 |
| 42 | System of systems policy suggestion framework using search-based technique = 탐색 기반 기술을 사용한 시스템 오브 시스템즈 정책 제안 프레임워크link Jung, Youlim; Bae, Doo-Hwan; et al, 한국과학기술원, 2018 |
| 43 | Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 44 | TDX 교환기 시스템 개발을 위한 소프트웨어 프로세스의 개선에 관한 연구 = A study on software process improvement for TDX switching system developmentlink 정성철; Chung, Sung-Chul; et al, 한국과학기술원, 1999 |
| 45 | Tree aspect-aware interface tree for modular reasoning in aspect-oriented programming = 관점지향 프로그래밍 에서의 단위해석을 위한 관점 인터페이스 트리link Vo, Pham Tra My; Bae, Doo-Hwan; et al, 한국과학기술원, 2006 |
| 46 | Uncertainty based fault type identification for fault knowledge base generation in system of systems = 시스템 오브 시스템즈의 불확실성 기반 결함 타입 분석을 통한 결함 지식 베이스 생성link Shin, Seungchyul; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
| 47 | 개발자의 행동패턴을 이용한 작업 기반 공수측정 기법 = An approach to task-based measurement of development effort using developer's behavior patternlink 우석중; Woo, Seok-Joong; et al, 한국과학기술원, 2008 |
| 48 | 객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specificationlink 백진욱; Baek, Jin-Wook; et al, 한국과학기술원, 1997 |
| 49 | 내장형 S/W 개발 시 명령어패턴을 이용한 모델 기반의 에너지 소모 예측 기법 = Model-based energy consumption prediction in embedded S/W development using instruction patternlink 임형인; Ihm, Hyoung-In; et al, 한국과학기술원, 2009 |
| 50 | 모델 기반의 프로젝트 프로세스 분석 기법 = An approach to model-based project process analysislink 윤경아; Yoon, Kyung-A.; et al, 한국과학기술원, 2003 |
| 51 | 병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 = A design of object model and language for concurrent object-oriented robot programming systemlink 김규태; Kim, Gyu-Tae; 차성덕; 배두환; et al, 한국과학기술원, 1997 |
| 52 | 소프트웨어 제품 라인에서 외부 실패비용을 기반으로 한 단위 테스트 전략 = External failure cost based unit test strategy of software product linelink 박범석; Park, Bum-Seok; et al, 한국과학기술원, 2012 |
| 53 | 소프트웨어 진화를 위한 변화와 참조이력을 이용한 클래스 분류 방법 = Class classi[fi]cation using change and reference history for supporting software evolutionlink 오진웅; Oh, Jin-Ung; et al, 한국과학기술원, 2008 |
| 54 | 소프트웨어 측정을 위한 데이터 모델의 다차원적 확장 = A multidimensional extension of data model for software measurementlink 진용호; Jin, Yong-Ho; et al, 한국과학기술원, 2006 |
| 55 | 시스템 다이내믹스 기법을 이용한 소프트웨어 개발 프로젝트의 위험 관리 = Risk management using system dynamics technique for a software development projectlink 김병국; Kim, Byung-Guck; et al, 한국과학기술원, 2004 |
| 56 | 연관성 규칙을 활용한 비기능 요구사항에의 추적성 향상에 대한 연구 = Improving recovery of traceability links to NFRs utilizing association rulelink 이찬희; Yi, Chan-Hee; et al, 한국과학기술원, 2009 |
| 57 | 웹 서비스를 위한 작업 수준 충돌 관리에 관한 연구 = An approach to activity-level conflict management on web serviceslink 이슬기; Lee, Seul-Ki; et al, 한국과학기술원, 2011 |
| 58 | 유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법 = Software effort estimation based on use case transactionlink 이선경; Lee, Sun-Kyung; et al, 한국과학기술원, 2010 |
| 59 | 유추기반 공수 예측에서 국소적으로 최적화된 속성 가중치 부여 기법에 관한 연구 = An approach to locally optimized feature weighting in analogy-based software effort estimationlink 조현식; Cho, Hyun-Sik; et al, 한국과학기술원, 2011 |
| 60 | 유추기반 공수 예측에서 국소적으로 최적화된 속성 가중치 부여 기법에 관한 연구 = An approach to locally optimized feature weighting in analogy-based software effort estimationlink 조현식; Cho, Hyun-Sik; et al, 한국과학기술원, 2011 |
