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 |
61 | 이벤트 시퀀스 분석을 통한 개인의 공수(工數)측정 자동화에 대한 연구 = An approach to automating personnel effort measurement by analyzing event sequencelink 김수현; Kim, Su-Hyun; et al, 한국과학기술원, 2007 |
62 | 임무결정적 내장형 소프트웨어 개발을 위한 UML 기반의 모델링 및 시뮬레이션 기법 = A UML-based modeling & simulation approach for mission-critical embedded software developmentlink 정성철; Jung, Sung-Chul; et al, 한국과학기술원, 2006 |
63 | 형상 관리 정보를 이용한 테스트 공수 예측 = Test effort estimation using configuration management informationlink 원종세; Won, Jong-Se; et al, 한국과학기술원, 2013 |
64 | 확장된 Activity 다이어그램을 사용한 비즈니스 모델로부터 use case 다이어그램 추출 방법 = A method for deriving use case diagram from business model with extended activity diagramlink 고현민; Ko, Hyun-Min; et al, 한국과학기술원, 2004 |
65 | 확장된 소프트웨어 프로세스 공학 메타모델 기반의 프로세스 맞춤화 기법 = An approach to extended SPEM-based process tailoringlink 손명근; Son, Myung-Geun; et al, 한국과학기술원, 2004 |
66 | 활동 중심 소프트웨어 프로세스 모델에서의 관점 변환을 통한 프로세스 관리 및 분석 = Generating multiple perspectives from an integrated activity-centered process modellink 이호동; Lee, Ho-Dong; et al, 한국과학기술원, 1999 |