지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
ABSTRACT
1. INTRODUCTION
2. PROGRAM INSTRUMENTATION
3. PLACEMENT OF FLOW-CONTROLLING MONITORS
4. PASDAN SYSTEM
5. EXECUTION OF PASDAN AND RESULTS
Acknowledgement
REFERENCES
Appendix
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
파스칼 프로그램 테스팅을 위한 스케닝 알고리즘
한국정보과학회 학술발표논문집
1984 .10
A PROGRAM INSTRUMENTATION TECHNIOUE FOR DYNAMIC TESTING
한국정보과학회 학술발표논문집
1983 .10
병행 프로그램의 테스트 케이스 생성 방법에 관한 연구
한국정보과학회 학술발표논문집
1993 .04
교육용 한글 파스칼 설계 및 구현 ( Design and Implementation of Educational Hangul Pascal )
한국통신학회논문지
1991 .10
PASCAL 원시 코드 Metrics
한국정보과학회 학술발표논문집
1986 .10
SYNTAX DIRECTED COMPILER FOR SUBSET OF PASCAL
한국정보과학회 학술발표논문집
1977 .11
자동 프로그램 교정을 위한 프로그램 분석 방법
한국정보과학회 학술발표논문집
1998 .04
Attribute Grammar를 이용한 소프트웨어 Instrumentation 도구의 설계 및 구현
한국정보과학회 학술발표논문집
1988 .04
컴퓨터 프로그램 테스팅을 위한 최소 경로 커버 알고리즘과 응용 ( A Minimum Path Cover Algorithm for Computer Program Testing and it`s Application )
대한전자공학회 학술대회
1984 .01
프로그램 변환을 통한 Java 다중 스레드 프로그램의 결정적 테스팅
정보과학회논문지 : 소프트웨어 및 응용
2000 .06
Resource controller 자동 생성 시스템의 설계
한국정보과학회 학술발표논문집
1986 .10
珍島連陸橋 (多重 Cable 斜張橋)의 靜的 解析프로그램 開發에 관한 研究
대한토목학회 학술발표회 개요집
1985 .10
데이터 기반 프로그램 분석 기법
정보과학회지
2018 .03
Object-oriented Data Abstraction in pascal
대한전자공학회 학술대회
1984 .11
Recurrent Formula and Property of Generalized Pascal Matrix
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
자료 흐름에 기반을 둔 복잡도와 테스팅에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
한글 파스칼 언어의 설계 및 구현
한국정보과학회 학술발표논문집
1991 .04
“소프트웨어 품질 및 테스팅”특집을 내면서
정보과학회지
2013 .05
압전 진동 에너지 하베스팅
소음·진동
2016 .01
Object-Oriented Data Abstraction in Pascal
대한전자공학회 학술대회
1984 .01
0