Browse "School of Computing(전산학부)" by Author 홍광의
Showing results 1 to 10 of 10
| A systematic code verification approach for the properties of real-time software model = 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법link Hong, Gwang-Ui; 홍광의; et al, 한국과학기술원, 2014 |
| SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석 채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18 |
| 소프트웨어 산업체 피드백을 반영한 자동화된 인력 할당 화지민; 박지훈; 신동환; 홍광의; 서영석; 배기곤; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.7, pp.369 - 380, 2013-07 |
| 소프트웨어 프로젝트 계획에서의 구체적 실무 이슈를 반영한 자동화된 인력 할당 기법 화지민; 박지훈; 신동환; 홍광의; 서영석; 배기곤; 배두환, 2013 한국 소프트웨어공학 학술대회(KCSE 2013), 한국정보과학회 소프트웨어공학 소사이어티, 2013-01-30 |
| 스마트 기기 자율 협업 검증 프레임워크 홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27 |
| 실무 요구사항을 고려한 소프트웨어 프로젝트 계획 생성 지원 기법 및 도구 박지훈; 신동환; 홍광의; 서동원; 화지민; 배기곤; 서영석; et al, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.66 - 67, 소프트웨어공학 소사이어티, 2014-02-13 |
| 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 홍광의; 지은경; 배두환, 2013 한국컴퓨터종합학술대회, pp.520 - 522, 한국정보과학회, 2013-06-26 |
| 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구 홍광의; 서동원; 지은경; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.12, pp.764 - 773, 2013-12 |
| 효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법 백영민; 홍광의; 배두환, 정보과학회논문지, v.42, no.11, pp.1386 - 1396, 2015-11 |
| 효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법 백영민; 홍광의; 이정현; 배두환, 2015 한국컴퓨터종합학술대회, pp.549 - 551, 한국정보과학회, 2015-06 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989