Showing results 1 to 7 of 7
Efficient verification method to eliminate emergent behaviors of the scenario specifications = 시나리오 명세서에 존재하는 돌발 행위 제거를 위한 효율적인 검증 방법link Song, Ingwon; 송인권; et al, 한국과학기술원, 2017 |
Implied scenario analysis in UML 2.0 scenario specification = UML 2.0 시나리오 명세에 내재된 시나리오 분석기법link Song, In-Gwon; 송인권; et al, 한국과학기술원, 2007 |
MPSoC 용 임베디드 소프트웨어의 PSM 모델 개발을 위한 UML 모델의 자동 매핑 기법 송인권; 오기영; 홍장의; 배두환, 한국정보과학회 소프트웨어공학학술 대회, v.9, no.1, pp.152 - 159, KCSE, 2007-02 |
MPSoC용 임베디드 소프트웨어의 PSM 모델링 및 시뮬레이션 오기영; 홍장의; 배두환; 송인권, 정보과학회논문지 : 소프트웨어 및 응용, v.34, no.8, pp.697 - 707, 2007-08 |
사례기반 추론을 활용한 지식 기반 프로세스 테일러링 기법 강동원; 송인권; 배두환, 한국소프트웨어공학 학술대회, 한국정보과학회, 한국정보처리학회, 2010-02 |
임베디드 소프트웨어 설계 모델의 추상화 수준에 따른 전력소모 예측 기법 임형인; 송인권; 전상욱; 한아림; 홍장의; 배두환, 소프트웨어공학 학술 대회, KCSE, 2008-02 |
임베디드 소프트웨어 행위 기술 모델링을 위한 시퀀스 다이어그램의 확장 이희진; 송인권; 전상욱; 홍장의; 배두환, 한국정보과학회 추계 학술 대회, v.32, no.2, pp.340 - 343, 한국정보과학회, 2005-11 |
Discover