지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2015.5
- 수록면
- 103 - 108 (6page)
- DOI
- 10.14801/jkiit.2015.13.5.103
이용수
초록· 키워드
오류제보하기
본 논문은 현재 소프트웨어 개발 과정에서 관련된 몇 가지 문제점을 다룬다. 그 중에서 큰 문제는 다음과 같다: 프로그램 구현단계에서 출력되는 C, Java 같은 프로그래밍 코드가 저레벨코드(low-level code)라서 사람이 쉽게 이해하기 힘들 정도로 구현이 길고 복잡하다. 따라서 저레벨코드만을 사용하면 소프트웨어의 유지보수에 적합하지 않아 많은 비용과 시간을 소비하게 한다. 이 논문에서는 구현단계에서 먼저 Computability Logic을 이용한 고레벨(high level) 출력물을 추가하는 것을 제안한다. 즉, 고레벨 출력물을 추가로 출력함으로써 저레벨코드가 가진 단점들을 해결 할 수 있다. 즉, 코드를 이해하기 쉬워, 유지보수가 용이하게 된다. 소프트웨어 기술 때 Computability Logic을 이용하면 짧고 간단한 방법으로 기술 할 수 있다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. Computability Logic
Ⅲ. 두 단계 구현법
Ⅴ. 결론
References
참고문헌 (13)
참고문헌 신청
1. [학술지(정기간행물)] - 형대진 / 2010 / 원본 코드와 번역본 코드 이론 / 한국정보기술학회논문지 8 (7) : 109 ~ 116
2. [학술지(정기간행물)] - G Japaridze / 2006 / Propositional computability logic II / ACM Transactions on Computational Logic 7 (2) : 331 ~ 362
3. [단행본] - G. Japaridze / 2006 / Interactive Computation : 183 ~ 223
4. [학술지(정기간행물)] - G. Japaridze / 2006 / Propositional computability logic I / ACM Transactions on Computational Logic 7 (2) : 302 ~ 330
5. [학술지(정기간행물)] - G. Japaridze / 2003 / Introduction to computability logic / Annals of Pure and Applied Logic 123 : 1 ~ 99
2. [학술지(정기간행물)] - G Japaridze / 2006 / Propositional computability logic II / ACM Transactions on Computational Logic 7 (2) : 331 ~ 362
3. [단행본] - G. Japaridze / 2006 / Interactive Computation : 183 ~ 223
4. [학술지(정기간행물)] - G. Japaridze / 2006 / Propositional computability logic I / ACM Transactions on Computational Logic 7 (2) : 302 ~ 330
5. [학술지(정기간행물)] - G. Japaridze / 2003 / Introduction to computability logic / Annals of Pure and Applied Logic 123 : 1 ~ 99
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
회귀 분석을 사용한 소스 코드 가독성 메트릭 분석
한국인터넷방송통신학회 논문지
2017 .01
-
홀로그래픽 데이터 저장장치에서의 멀티레벨 변조부호
전자공학회논문지
2015 .09
-
하둡 기반 대규모 작업처리 프레임워크에서의 Adaptive Parallel Computability 기술 연구
방송공학회논문지
2019 .11
-
제한된 최대 상관전력 값을 갖는 길이 제약된 골드코드 집합의 선택기법에 대한 연구
한국통신학회논문지
2019 .04
-
목적 코드에서 유사도 검출과 그 도구의 설계
한국소프트웨어감정평가학회논문지
2020 .01
-
Level of Design System on Physical Interactive Game
한국컴퓨터게임학회논문지
2018 .01
-
7-레벨과 27-레벨의 선택적 출력전압 생성이 가능한 멀티레벨인버터
전력전자학회 학술대회 논문집
2015 .07
-
점진적 코드 개선을 위한 AST 기반의 코드 특징 추출 방법
대한전자공학회 학술대회
2024 .06
-
비행소프트웨어 초기화 코드 영역 활용 방식
한국항공우주학회 학술발표회 초록집
2023 .04
-
코드 다중화 기반 확산 코드 추정 알고리즘
한국통신학회 학술대회논문집
2015 .06
-
실용적인 코드 생성을 위한 언어 모델 기반 코드 생성 평가지표 분석
한국정보과학회 학술발표논문집
2024 .06
-
ISO/IEC 10646과 멀티바이트 코드 세트간의 변환시스템의 설계 및 구현
한국정보전자통신기술학회 논문지
2018 .08
-
무기체계 소프트웨어의 Java 코딩 규칙 검증 기준 개선 연구
한국산학기술학회 논문지
2022 .10
-
코드로 그린 그림
한국컴퓨터그래픽스학회 학술대회
2022 .07
-
Open Source 기반 툴 체인화를 통한 코드 정적 분석 연구
정보과학회 컴퓨팅의 실제 논문지
2015 .02
-
연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법
산업경영시스템학회지
2015 .01
-
2-레벨과 3-레벨 T-type 인버터의 손실 비교 분석
한국조명·전기설비학회 학술대회논문집
2015 .11
-
코드 요약을 위한 효율적인 구조 적응형 사전학습 언어 모델
한국지능시스템학회 논문지
2024 .12
-
키코드 알고리즘 최적화 방안에 관한 연구
한국자동차공학회 추계학술대회 및 전시회
2016 .11
-
소스 코드 구조 변환을 통한 코드 사전학습 모델 적대적 공격
한국정보과학회 학술발표논문집
2022 .12
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0