Browse by Author 김형호
Showing results 1 to 9 of 9
| Concept analysis techniques for software modularization = 소프트웨어 모듈화를 위한 개념 분석 기법link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 2008 |
| Documentation scheme for object oriented frameworks = 객체 지향 프레임워크를 위한 문서화 방안link Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 1998 |
| HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
| MTS기반 트랜잭션 시스템의 안전성 검증 윤일철; 김형호; 배두환, 한국정보과학회 봄 학술발표대회, v.27, no.1, pp.492 - 494, 한국정보과학회, 2000-04 |
| 객체지향 개발방법의 체계적 구성 김형호; 김영곤; 배두환; 김민경; 유병규, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.5, pp.488 - 498, 2000-05 |
| 동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
| 비기능성 기반 디자인 재구성 권재은; 김형호; 배두환, 한국정보과학회 가을 학술 발표 대회, v.27, no.2, pp.367 - 369, 한국정보과학회, 2000-10 |
| 서버컴포넌트의 확장성 중가를 위한 재구성 기법 권재은; 김형호; 배두환, 한국소프트웨어공학 학술대회, pp.128 - 136, 2001 |
| 지킴이:유닉스 시스템을 위한 통합 보안 점검도구 채흥석; 이남희; 김형호; 김내희; 차성덕; 백석철; 임규건; et al, 정보보호학회논문지, v.7, no.3, pp.23 - 40, 1997-09 |
Discover
Type
Open Access
Date issued
- 1 2040 - 2041
- 31,607 2020 - 2029
- 100,003 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 1,633 1970 - 1979
- 62 1964 - 1969