| 1 | A two-stage framework for UML specification matching Park, Wei-Jin; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.53, no.3, pp.230 - 244, 2011-03 |
| 2 | A UML specification matching framework for effective software reuse = 효과적인 소프트웨어 재사용을 위한 UML 스펙 매칭 프레임워크link Park, Wei-Jin; 박외진; et al, 한국과학기술원, 2011 |
| 3 | (A) method of formal requirement analysis for NPP I&C systems based on object-oriented UML modeling with software cost reduction = 객체지향 UML 모델링과 SCR 기반의 원전계측제어계통 요구사항에 대한 정형적 분석 방법에 관한 연구link Koo, Seo-Ryong; 구서룡; et al, 한국과학기술원, 2000 |
| 4 | (A) user experience modeling and evaluation framework for mobile usability = 모바일 사용성을 위한 UX 설계 및 평가 프레임워크link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2017 |
| 5 | (A) white box reliability prediction technique for supporting traceability = Traceability 를 지원하는 화이트박스 소프트웨어 신뢰성 예측 기법link Hong, Dae-Eui; 홍대의; et al, 한국과학기술원, 2011 |
| 6 | (A) white box reliability prediction technique for supporting traceability = Traceability 를 지원하는 화이트박스 소프트웨어 신뢰성 예측 기법link Hong, Dae-Eui; 홍대의; et al, 한국과학기술원, 2011 |
| 7 | An approach to specifying concurrent, distributed, and autonomous object behaviors using a high-level meta-object protocol Lee, JS; Bae, Doo-Hwan, IEICE TRANSACTIONS ON COMMUNICATIONS, v.E83B, no.5, pp.999 - 1012, 2000-05 |
| 8 | 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 |
| 9 | Collaborative Modeling Process for Development of Domain-Specific Discrete Event Simulation Systems Sung, Chang-Ho; Kim, Tag-Gon, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, v.42, no.4, pp.532 - 546, 2012-07 |
| 10 | Developing a software process simulation model using SPEM and analytical models Park, S.; Kim, H.; Kang, D.; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SIMULATION AND PROCESS MODELLING, v.4, no.3-4, pp.223 - 236, 2008 |
| 11 | Developing platform specific model for MPSoC architecture from UML-based embedded software models Jeon, SU; Hong, JE; Song, IG; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.82, no.10, pp.1695 - 1708, 2009-10 |
| 12 | DEVS 모델과 사용자 요구사항의 일관성 검증 방법론 및 환경 구현 = Method and implementation for consistency verification of DEVS model against user requirementlink 김도형; Kim, Do-Hyung; et al, 한국과학기술원, 2005 |
| 13 | Exception and interrupt modeling in UML 2.0 sequence diagrams for embedded software development = 임베디드 소프트웨어 개발을 위한 UML 2.0 시퀀스 다이어그램의 예외상황과 인터럽트 모델링link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2006 |
| 14 | Implementation of mobile WiMAX MAC protocol: network entry and ranging = Mobile WiMAX MAC 프로토콜의 설계 및 구현: Network Entry와 Ranginglink Lee, Jae-Kwang; 이재광; et al, 한국과학기술원, 2008 |
| 15 | Implied scenario analysis in UML 2.0 scenario specification = UML 2.0 시나리오 명세에 내재된 시나리오 분석기법link Song, In-Gwon; 송인권; et al, 한국과학기술원, 2007 |
| 16 | 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 |
| 17 | Modeling and performance evaluation of UML-based platform independent models for MPSoC embedded software = MPSoC 내장형 소프트웨어의 UML 기반 플랫폼 독립적 모델링 및 성능 분석 기법link Jeon, Sang-Uk; 전상욱; et al, 한국과학기술원, 2010 |
| 18 | Timing consistency checking for UML/MARTE behavioral models Choi, Jinho; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE QUALITY JOURNAL, v.24, no.3, pp.835 - 876, 2016-09 |
| 19 | Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
| 20 | Transforming component-connector architecture into UML using XML = XML을 사용한 컴포넌트-커넥터 아키텍쳐의 UML 변환link Eom, Ji-Hye; 엄지혜; et al, 한국정보통신대학교, 2007 |
| 21 | UML specification-based integration testing of software components = UML 명세에 기반한 소프트웨어 컴포넌트의 통합 테스팅 기법link Kim, Jun-San; 김준산; et al, 한국과학기술원, 2003 |
| 22 | UML을 이용한 헬리콥터 교전 모델링 연구 = Study on helicopter combat modeling applying UMLlink 이동협; Lee, Dong-Hyup; et al, 한국과학기술원, 2011 |
| 23 | UML을 이용한 헬리콥터 교전 모델링 연구 = Study on helicopter combat modeling applying UMLlink 이동협; Lee, Dong-Hyup; et al, 한국과학기술원, 2011 |
| 24 | 시나리오기반 UML 객체지향 분석모델 검증기법 = Scenario driven verification method for UML object oriented analysis modellink 조진형; Cho, Jin-Hyung; et al, 한국과학기술원, 1999 |
| 25 | 워게임 시뮬레이터 개발을 위한 CBD 프로세스로의 임베디드 DEVE 방법론 = Embedding DEVS methodology in CBD process for development of war game simulatorslink 김정훈; Kim, Jeong-Hoon; et al, 한국과학기술원, 2007 |
