메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류
인문학
인문학 일반 역사학 철학 종교학 어문학 기타 인문학
사회과학
사회과학 일반 경영학 관광학 교육학 군사학 문헌정보학 법학 사회학 신문방송학 심리과학 정치외교학 지리학 행정학 경제학 무역학 인류학 기타 사회과학
자연과학
자연과학 일반 물리학 생물학 생활과학 수학·통계학 천문학 지구과학 화학 기타 자연과학
공학
공학 일반 건축공학 기계공학 산업공학 재료·에너지공학 전기전자공학 조선해양공학 화학공학 컴퓨터학 기타공학
의약학
의학 일반 간호학 수의학 약학 한의학 기초의학 임상의학 기타 의약학
농수해양학
농수해양학 일반 농학 수산학 식품과학 임학 축산학 해상운송학 기타 농수해양학
예술체육학
예술 일반 디자인 미술 미용 사진 음악학 의상 체육 공연매체예술 기타 예술체육학
복합학
학제간연구 과학기술학 뇌인지과학 기술정책 기타 복합학

ENG

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
김선태 (인하대학교) 김제민 (인하대학교) 박준석 (인하대학교) 유원희 (인하대학교)
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 시스템 및 이론 정보과학회논문지 : 시스템 및 이론 제40권 제5호
발행연도
2013.10
수록면
248 - 255 (8page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문에서는, 자바 바이트 코드 검증을 위해 설계된 중간 표현 언어인 BIRS(Bytecode Intermediate Representation with Specification)생성기 JBVF(Java Bytecode Verification Framework)를 확장한다. JBVF를 통해 생성된 BIRS는 검증 조건 생성을 위해 자바 소스 코드(하이레벨)가 공개 되었을 경우에도 프로그래머가 BIRS(로우레벨)에 직접 명세 정보를 기술해 주어야 한다. 이를 해결하기 위해, 자바 소스 코드가 공개되었을 경우 자바 소스 코드에 입력된 명세 정보를 이용하여 BIRS 코드를 생성하는 방법을 소개한다. BIRS 코드는 JML2BML도구와 JML, BML을 이용하여 생성한다. BML을 입력으로 받아 생성된 BIRS에 명세 정보가 정확히 표현되었는지 확인한다.
#자바 바이트 코드 #BML #BIRS #프로그램 검증 #java bytecode #BML #BIRS #verification

목차

요약
Abstract
1. 서론
2. 관련 연구
3. BML에서 BIRS변환
4. 예제
5. 결론 및 향후연구과제
References

참고문헌 (12)

참고문헌 신청
1. [학술대회논문] - Gary T. Leavens / 2007 / Tutorial on JML, the java modeling language / Proc. of the twenty-second IEEE/ACM international conference on Automated software engineering (ASE '07) : 573 ~ 573 google schola 2. [학술대회논문] - Ahrendt, W. / 2007 / KeY: a formal method for object-oriented systems / Proc. of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems (FMOODS'07) : 32 ~ 43 google schola 3. [보고서] - Robert DeLine / 2005 / BoogiePL : A Typed procedural language for checking object- oriented program google schola 4. [학술대회논문] - Barnett, M. / 2005 / The Spec# Springer-Verlag, Berlin, Heidelberg, Programming System: Challenges and Directions / Verified Software: Theories, Tools, Experiments, Lecture Notes In Computer Science 4171 : 144 ~ 152 google schola 5. [학술대회논문] - Lilian Burdy / 2007 / Preliminary Design of BML: A Behavioral Interface Specification Language for Java bytecode / Fundamental Approaches to Software Engineering (FASE 2007) 4422 : 215 ~ 229 google schola

이 논문의 저자 정보

이 논문과 함께 이용한 논문

JAVA와 CORBA 기반의 주문 물품 모니터링 시스템 구현
정기완 ,  최정규 ,  변광준 외 4명 한국정보과학회 학술발표논문집 1998 .10
RF433 무선 센서 네트워크와 ARDUINO-YUN 기반의 게이트웨이를 활용한 전력관리 IoT 시스템
최은석 ,  심재용 ,  장석진 한국정보통신학회논문지 2017 .05
PHP 보안 취약점 분석과 시큐어 코딩 규칙 개발
한경숙 ,  박우열 ,  양일권 외 2명 정보과학회 컴퓨팅의 실제 논문지 2015 .11
자바 리플렉션 기반의 안드로이드 API 정적 분석무력화 도구의 설계 및 구현
박희완 ,  이주혁 한국컴퓨터정보학회 학술발표논문집 2014 .01
SMS 클라이언트, PHP 서버, 아두이노 기반 인터렉티브 종이비행기 게임 구현
김민수 ,  고한새 ,  이병만 외 2명 한국컴퓨터정보학회 학술발표논문집 2014 .01

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2014-560-002799795