$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

학위논문 상세정보

분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성

Automatic generation of graphic user interface on analyzer generating system Z2


어현준 (한국과학기술원 전산학과 국내석사)
Abstract

System Z2 is a program analyzer generating system using abstract interpretation. An analyzer generated by Z2 has some problems of being difficult for the user to observe its analysis results. We have developed a graphic user interface generating system ZV on top of system Z2. System Z2 gets an abstr...

주제어

#요약 해석 Analyzer Graphic user interface Automatic gerneration Abstract interpretation 분석기 그래픽 사용자 인터페이스 자동 생성;

참고문헌 (0)

  1. 이 논문의 참고문헌 없음

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음
저자 어현준
학위수여기관 한국과학기술원
학위구분 국내석사
학과 전산학과
지도교수 이광근,Yi, Kwang-Keun
발행년도 1998
총페이지 iii, 53 p.
키워드 요약 해석 Analyzer Graphic user interface Automatic gerneration Abstract interpretation 분석기 그래픽 사용자 인터페이스 자동 생성
언어 kor
원문 URL http://www.riss.kr/link?id=T10508843&outLink=K
정보원 한국교육학술정보원
상세조회 0건 원문조회 0건

DOI 인용 스타일