- 요약
- Abstract
- Ⅰ. 서론
- Ⅱ. 소프트웨어 개발 단계
- Ⅲ. 상태변환기계
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82739490
2011
Korean
004
KCI등재
학술저널
213-218(6쪽)
0
0
상세조회0
다운로드목차 (Table of Contents)
참고문헌 (Reference)
1 형대진, "원본 코드와 번역본 코드 이론" 한국정보기술학회 8 (8): 109-116, 2010
2 정문재, "소프트웨어 공학" 21세기사 2009
3 S. K Rajamani, "Software is more than code" 13 (13): 602-606, 2007
4 Girard, "Linear Logic" 50 : 1-102, 1987
5 S. Chaki, "H. Veith. Modular verification of software components in C" 30 (30): 2004
6 D. Engler, "Checking system rules using system-specific, programmer-written compiler extension. In OSDI 00: Operating System Design and Implementation" Usenix Association 2000
7 T. Ball, "Automatically validating temporal safety proof interfaces. In SPIN 01 : SPINWorkshop" Springer-Verlag 2001
8 P. Cousot, "Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints" 77 : 238-252, 1977
1 형대진, "원본 코드와 번역본 코드 이론" 한국정보기술학회 8 (8): 109-116, 2010
2 정문재, "소프트웨어 공학" 21세기사 2009
3 S. K Rajamani, "Software is more than code" 13 (13): 602-606, 2007
4 Girard, "Linear Logic" 50 : 1-102, 1987
5 S. Chaki, "H. Veith. Modular verification of software components in C" 30 (30): 2004
6 D. Engler, "Checking system rules using system-specific, programmer-written compiler extension. In OSDI 00: Operating System Design and Implementation" Usenix Association 2000
7 T. Ball, "Automatically validating temporal safety proof interfaces. In SPIN 01 : SPINWorkshop" Springer-Verlag 2001
8 P. Cousot, "Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints" 77 : 238-252, 1977
기하학적 쌍대성과 최소평균자승오차 가중치를 이용한 화면내 디인터레이싱 방법
Shadow Detection and Effect Evaluation on a Face Image Using Automatic Threshold Selection
학술지 이력
연월일 | 이력구분 | 이력상세 | 등재구분 |
---|---|---|---|
2022 | 평가예정 | 재인증평가 신청대상 (재인증) | |
2019-01-01 | 평가 | 등재학술지 유지 (계속평가) | |
2016-01-01 | 평가 | 등재학술지 유지 (계속평가) | |
2012-01-01 | 평가 | 등재학술지 유지 (등재유지) | |
2009-01-01 | 평가 | 등재학술지 선정 (등재후보2차) | |
2008-01-01 | 평가 | 등재후보 1차 PASS (등재후보1차) | |
2006-01-01 | 평가 | 등재후보학술지 선정 (신규평가) |
학술지 인용정보
기준연도 | WOS-KCI 통합IF(2년) | KCIF(2년) | KCIF(3년) |
---|---|---|---|
2016 | 0.45 | 0.45 | 0.39 |
KCIF(4년) | KCIF(5년) | 중심성지수(3년) | 즉시성지수 |
0.38 | 0.35 | 0.566 | 0.16 |